(:includes :start) :includes :early-decls (:includes :end)
(:early-user :start) :early-user (:early-user :end)
(:classes :start) (:classes :end)
+ (:static-instances :start) :static-instances (:static-instances :end)
(:user :start) :user (:user :end)
(:guard :end)
:epilogue)
(:prologue
(:includes :start) :includes (:includes :end)
(:early-user :start) :early-user (:early-user :end)
+ (:static-instances :start)
+ (:static-instances :decls) (:static-instances :gap)
+ (:static-instances :end)
(:classes :start) (:classes :end)
(:user :start) :user (:user :end)
:epilogue)