stml2/stml2.scm