../gnulib/lib/stdio--.h