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 ())