__arg_index       408 maint/gnulib/lib/argp.h                            unsigned __flags, int *__restrict __arg_index,
__arg_index       412 maint/gnulib/lib/argp.h                              unsigned __flags, int *__restrict __arg_index,