sml @SMLload=/afs/cs/project/twelf/misc/lolli/bin/lolli.heap @SMLdebug=/dev/null
