0x2,
0xFFFF_FFFF_FFFF_FFFF,
0xFFFF_FFFF_FFFF_FFFE,
+ 0x7FFF_FFFF_FFFF_FFFE,
0x7FFF_FFFF_FFFF_FFFF,
0x8000_0000_0000_0000,
+ 0x8000_0000_0000_0001,
0x1234_5678_0000_0000,
+ 0x1234_5678_7FFF_FFFE,
+ 0x1234_5678_7FFF_FFFF,
0x1234_5678_8000_0000,
+ 0x1234_5678_8000_0001,
0x1234_5678_FFFF_FFFF,
- 0x1234_5678_7FFF_FFFF,
];
const BOOL_VALUES: &[bool] = &[false, true];