;;; TOOL: wat2wasm (module (start 0) (func))