"\""(.)*"\"" {
    yylval.text = strdup(yytext);
    return STRING;
}