string abb %% {string} { printf("[%s]",yytext); } %%