f2(0, 50, -9) == F2( 50, -9) &&
f2(0, -77, -50) == F2( -77, -50) &&
- f1(0, 0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) ==
- F1(0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) &&
- f2(0, 0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) ==
- F2(0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) &&
+ f1(0, 0x7FFFFFFFUL, 0x7FFFFFFFUL) ==
+ F1(0x7FFFFFFFUL, 0x7FFFFFFFUL) &&
+ f2(0, 0x7FFFFFFFUL, 0x7FFFFFFFUL) ==
+ F2(0x7FFFFFFFUL, 0x7FFFFFFFUL) &&
- f1(0, 0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL) ==
- F1(0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL) &&
- f2(0, 0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL) ==
- F2(0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL)
+ f1(0, 0x8FFFFFFFUL, 0x8FFFFFFFUL) ==
+ F1(0x8FFFFFFFUL, 0x8FFFFFFFUL) &&
+ f2(0, 0x8FFFFFFFUL, 0x8FFFFFFFUL) ==
+ F2(0x8FFFFFFFUL, 0x8FFFFFFFUL)
);