--- /dev/null
+#define F1(a,b,c) ((-2UL * ((long)(b) - (long)(c))) - (long)(a))
+#define F2(a,b,c) ((-3UL * ((long)(b) - (long)(c))) - (long)(a))
+
+
+long f1(long, long, long, long);
+long f2(long, long, long, long);
+
+RET(f1(0, 3, 20, 15) == F1( 3, 20, 15) &&
+ f1(0, -100, 80, 23) == F1(-100, 80, 23) &&
+ f1(0, 50, -9, -5) == F1( 50, -9, -5) &&
+ f1(0, -77, -50, 87) == F1( -77, -50, 87) &&
+
+ f2(0, 3, 20, 15) == F2( 3, 20, 15) &&
+ f2(0, -100, 80, 23) == F2(-100, 80, 23) &&
+ f2(0, 50, -9, -5) == F2( 50, -9, -5) &&
+ f2(0, -77, -50, 87) == F2( -77, -50, 87) &&
+
+ f1(0, 0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) ==
+ F1(0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) &&
+ f2(0, 0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) ==
+ F2(0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) &&
+
+ f1(0, 0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL) ==
+ F1(0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL) &&
+ f2(0, 0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL) ==
+ F2(0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL)
+ );
+