@@ -20,12 +20,18 @@
 (declare (uses common))
 (declare (uses rmt))
          
 (declare (uses commonmod))
 (declare (uses debugprint))
+;; (declare (uses stml2))
+
+(include "stml2/cookie.scm")
+(include "stml2/stml2.scm")
+	 
 (import commonmod)
 (import debugprint)
+(import stml2)
 
 (include "common_records.scm")
 (use matchable)
 (use fmt)
 (use ducttape-lib)