../gnulib/lib/getdtablesize.c