hol_entry_first_short  862 maint/gnulib/lib/argp-help.c   int short1 = hol_entry_first_short (entry1);
hol_entry_first_short  863 maint/gnulib/lib/argp-help.c   int short2 = hol_entry_first_short (entry2);