int32.const 0x2000