%runElab foo
:q
