NSHORTOPTS
char buf[(NSHORTOPTS > 10 ? NSHORTOPTS : 10) + 1];
for (i = 0 ; i < NSHORTOPTS ; i++) {
for (i = 0; i < NSHORTOPTS; i++)
extern const char optletter[NSHORTOPTS];
const char optletter[NSHORTOPTS] __nonstring = "efIimnsxvVECabupTPh";