0 sr -c f.sr
0 srl f main
# this really should work,
# but until fixed should abort with reasonable diagnostic
1 run
0 rm -rf Interfaces core *.out *.[chos]
