;;; TOOL: wat2wasm
(module)
