(module ;; missing the close paren here