(func(result i32)(i32.const 0x2000))