14c14
< 0x00000000, 0x7fffffff,
---
> 0x00000000, 0x7FFFFFFF,
16,17c16,17
< 0x7fffffff, 0x80000000,
< 0x7fffffff, 0x80000001,
---
> 0x7FFFFFFF, 0x80000000,
> 0x7FFFFFFF, 0x80000001,
20c20
< 0x80000000, 0xffffffff,
---
> 0x80000000, 0xFFFFFFFF,
22,23c22,23
< 0xffffffff, 0x00000000,
< 0xffffffff, 0x00000001,
---
> 0xFFFFFFFF, 0x00000000,
> 0xFFFFFFFF, 0x00000001,