1%option 8bit noyywrap
2%%
3.|\n	{ ECHO;
4   //' "
5  }
6%%
7int
8main (void)
9{
10    yyin = stdin;
11    yyout = stdout;
12    while (yylex())
13        ;
14    printf("TEST RETURNING OK.\n");
15    return 0;
16}
17