i32.const 0x2000