module til-run imports libstrategolib til-eval-stats strategies io-til-run = io-wrap(eval-program) eval-program = ?Program(<eval-stats>) ; <exit> 0