yytexttostr
name = yytexttostr(1, yypos); /* skip $ */
name = yytexttostr(yypos, yylast);
yystr = yytexttostr(0, yypos);
static char *yytexttostr __P((int, int));
txt = yytexttostr(yypos, YYBUFSIZ);