ERR_badinput
fprintf(stderr, gettext(ERR_badinput), lex_linenum,
fprintf(stderr, gettext(ERR_badinput),