+#define CHECK(A, B) check(A, B, #A, #B, __FILE__, __LINE__)
+static void
+check(int a, int b,
+ const char *a_string, const char *b_string, const char *file, int line)
+{
+ if (a != b) {
+ fprintf(stderr, "%s:%d: expected %s == %s but %d != %d\n",
+ file, line, a_string, b_string, a, b);
+ fflush(stderr);
+ abort();
+ }
+}
+