(print 0)

(print 1)

(print print)

(print true)

(include "simple")

(print synthesis-methods)

(print (+ 1 2))

(print usual)