hol_set_group 1707 maint/gnulib/lib/argp-help.c hol_set_group (hol, "help", -1); hol_set_group 1708 maint/gnulib/lib/argp-help.c hol_set_group (hol, "version", -1);