../gnulib/lib/gettime.c