(func(result i32)(i32.const0x2000))