;;; -*- scheme -*-
((skip ("traces"
        "lts"
        "simulate"
        "c"
        "cs"
        "javascript"
        "scheme"))
 (model #f)
 (tss #t))
