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