#! /bin/sh
exec ./run.x86-linux @SMLcmdname=sml @SMLload=asdlGen.x86-linux $*

