    digit_optind      709 libglibc/getopt.c   int digit_optind = 0;
    digit_optind      731 libglibc/getopt.c 	  if (digit_optind != 0 && digit_optind != this_option_optind)
    digit_optind      733 libglibc/getopt.c 	  digit_optind = this_option_optind;
    digit_optind       98 libglibc/getopt1.c   int digit_optind = 0;
    digit_optind      139 libglibc/getopt1.c 	  if (digit_optind != 0 && digit_optind != this_option_optind)
    digit_optind      141 libglibc/getopt1.c 	  digit_optind = this_option_optind;