added standard-ml mode