%option 8bit noyywrap
%%
.|\n { ECHO;
//' "
}
int
main (void)
{
yyin = stdin;
yyout = stdout;
while (yylex())
;
printf("TEST RETURNING OK.\n");
return 0;