(module (type $i32_=>_none (func (param i32))) (export "test1" (func $0)) (func $0 (type $i32_=>_none) (param $x i32) (nop) ) )