%% . printf("%c",yytext[0]); %%