;; WrongMainType

(define: main Int (undefined Unit))