;;; TOOL: wat2wasm (module (func (local i32)))