io.h

   1 // Requries stdarg, stdio.
   2 extern void die(const char *err, ...)
   3     __attribute__((__noreturn__))  __attribute__((format (printf, 1, 2)));
   4
   5 #define EXPECT(condition) \
   6   if (condition); else fprintf(stderr, "%s:%d: FAIL\n", __FILE__, __LINE__)