(index ("program" 0))
(def (sig (syntax "(program PROGRAM-CLAUSE ...)" (id program))) (p "Expands into a program according to the specifications given in " (tt "PROGRAM-CLAUSE ...") "."))
