sml @SMLcmdname=$0 @SMLload=bin/l5c.heap.x86-linux $*