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