FILE1              39 maint/gnulib/tests/test-read-file.c   if (stat (FILE1, &statbuf) >= 0)
FILE1              42 maint/gnulib/tests/test-read-file.c       char *out = read_file (FILE1, flags, &len);
FILE1              63 maint/gnulib/tests/test-read-file.c                            (unsigned long) len, FILE1);
FILE1              72 maint/gnulib/tests/test-read-file.c                   fprintf (stderr, "Read nothing from %s\n", FILE1);