;;; -*- scheme -*-
((skip ("build"))
 (model "ihello")
 (non-strict? #t)
 (trace-format "trace"))
