YYEOF
return YYEOF;
yychar = YYEOF; /* Don't call YYLEX any more */
if (yychar != YYEOF)
if (yychar == YYEOF)