%{
char holdbuf[YYLMAX];
int ii;
%}
%a 4000
%p 3000
%o 5000
%%
^"! "([^\n]|"\n"[^!]|"\n!"[^ ])*"\n"/"l." { 
    for (ii=0; ii<yyleng ; ++ii) holdbuf[ii]=yytext[ii];
    holdbuf[yyleng]='\0' ;
  }
^"l."[0-9]+ {
    printf("\nFile <TEXFILE>, line %s:\n%s", yytext+2, holdbuf) ;
    printf("<input>");
  }