(func(i32.const 0x2000))