__funlockfile    1697 maint/gnulib/lib/argp-help.c       __funlockfile (stream);
__funlockfile    1807 maint/gnulib/lib/argp-help.c   __funlockfile (stream);
__funlockfile    1918 maint/gnulib/lib/argp-help.c           __funlockfile (stream);
__funlockfile    2015 maint/gnulib/lib/argp-help.c           __funlockfile (stream);