__option_is_short   29 maint/gnulib/lib/argp-namefrob.h #undef __option_is_short
__option_is_short   30 maint/gnulib/lib/argp-namefrob.h #define __option_is_short _option_is_short
__option_is_short  591 maint/gnulib/lib/argp.h #  define __option_is_short _option_is_short
__option_is_short  633 maint/gnulib/lib/argp.h #  undef __option_is_short