;;; -*- scheme -*-
((model "helloworld")
 (skip ("traces" "verify")))
