verify.h

#define CHECK(value, op, expected)                     \
  do {                                                 \
    __typeof__(value) _val = value;                    \
    __typeof__(expected) _exp = expected;              \
    if (!(_val op _exp) {                              \
      fprintf(stderr, "Assertion failure on %s:%d: "   \
                      "expected " #value "(0x%x)" #op  \
                      #expected "(0x%x)",              \
                      __FILE__, __LINE__, _val, _exp); \
      abort();                                         \
    }                                                  \
  } while(0)