YYUNPUT
YYUNPUT(YYTEXT[YYLENG-1]);
YYUNPUT(YYTEXT[--YYLENG]);
extern void YYUNPUT(int);
YYUNPUT(*--lastch);