1#define EXTERN extern 2 3int failures; 4 5#ifdef DBG 6extern 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