1  typedef __SIZE_TYPE__ size_t;
       2  #ifdef __cplusplus
       3  extern "C" {
       4  #endif
       5    extern void exit (int);
       6    extern void *malloc (size_t);
       7    extern void free (void *);
       8    extern void *calloc (size_t, size_t);
       9    extern void *alloca (size_t);
      10    extern void *memcpy (void *, const void *, size_t);
      11    extern void *memset (void *, int, size_t);
      12    extern char *strcpy (char *, const char *);
      13    extern char *strdup (const char *);
      14    extern char *strndup (const char *, size_t);
      15  #ifdef __cplusplus
      16  }
      17  #endif
      18  
      19  unsigned nfails = 0;
      20  
      21  #define FAIL() \
      22    do { \
      23      __builtin_printf ("Failure at line: %d\n", __LINE__);		      \
      24      nfails++;								      \
      25    } while (0)
      26  
      27  #define DONE() \
      28    do {									      \
      29      if (nfails > 0)							      \
      30        __builtin_abort ();						      \
      31      return 0;								      \
      32    } while (0)