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