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