;;; TOOL: wat2wasm (module (func (param i32 f32)))