-\"[^\"]*\" {
- static char *in = NULL;
- static size_t ins = 0;
-
- if ((size_t)yyleng + 1 > ins) {
- ins = yyleng + 1;
- in = (char *)xrealloc(in, ins);
- }
- memcpy(in, yytext, yyleng);
-
- in[yyleng-1] = '\0';
- escapes(in+1, in);
- yyleng = strlen(in);
- yylval.sval = in;
- SETSTATE(0);
- return STRING;
- }