(func (export "main")(result i32) i32.const 0x1000)