;;; TOOL: wat2wasm (module (type (func (result i32))))