/* Gnulib <verify.h>, simplified by assuming GCC 4.6 or later.  */
#define verify(R) _Static_assert (R, "verify (" #R ")")

#define assume(R) ((R) ? (void) 0 : __builtin_unreachable ())