unreachable       153 lib/stddef.in.h #ifndef unreachable
unreachable       362 lib/verify.h   # define assume(R) ((R) ? (void) 0 : unreachable ())