1/* Gnulib <verify.h>, simplified by assuming GCC 4.6 or later. */
2#define verify(R) _Static_assert (R, "verify (" #R ")")
3
4#define assume(R) ((R) ? (void) 0 : __builtin_unreachable ())
5