../gnulib/lib/diffseq.h