;;; TOOL: wat2wasm
;; here is a comment
(module)
;; here is another
