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