short_index       731 maint/gnulib/lib/argp-parse.c       char *short_index = strchr (parser->short_opts, opt);
short_index       733 maint/gnulib/lib/argp-parse.c       if (short_index)
short_index       735 maint/gnulib/lib/argp-parse.c           if (group->short_end > short_index)