| #define EXTERN extern | |
| int failures; | |
| #ifdef DBG | |
| extern int printf (const char *, ...); | |
| #define FAILURE { printf ("failed at line %d\n", __LINE__); failures++; } | |
| #define FINISH if (failures != 0) __builtin_abort (); return 0; | |
| #else | |
| #define FAILURE __builtin_abort (); | |
| #define FINISH return 0; | |
| #endif |