old_filename     1225 maint/gnulib/lib/stdio.in.h                   (const char *old_filename, const char *new_filename)
old_filename     1228 maint/gnulib/lib/stdio.in.h                   (const char *old_filename, const char *new_filename));
old_filename     1231 maint/gnulib/lib/stdio.in.h                   (const char *old_filename, const char *new_filename));