1 #define EXTERN extern
2 
3 int failures;
4 
5 #ifdef DBG
6 extern int printf (const char *, ...);
7 #define FAILURE { printf ("failed at line %d\n", __LINE__); failures++; }
8 #define FINISH if (failures != 0) __builtin_abort (); return 0;
9 #else
10 #define FAILURE __builtin_abort ();
11 #define FINISH return 0;
12 #endif
13