{ /* A non-recognized HTML tag name */ yypushback(yylength()); yybegin(INTAG); { /* Shouldn't happen */ yypushback(1); yybegin(INTAG);
{ /* A non-recognized HTML tag name */ yypushback(yylength()); yybegin(INTAG); { /* Shouldn't happen */ yypushback(1); yybegin(INTAG);
{ /* Shouldn't happen */ yypushback(1); yybegin(INTAG); { /* A non-recognized HTML tag name */ yypushback(yylength()); yybegin(INTAG);