;;; -*- scheme -*-
((model "hello_data")
 (skip ("verify" "simulate")))
