../gnulib/lib/verify.h