YYBUFSIZ
if (len > YYBUFSIZ)
len = YYBUFSIZ;
int yytext[YYBUFSIZ+1];
char yychars[YYBUFSIZ+1];
txt = yytexttostr(yypos, YYBUFSIZ);
if (yypos == YYBUFSIZ)