/* a JFlex program that adds line numbers
   to lines of a file, printing to stdout */
%%
%standalone
%{
  private int lineno = 1;
%}
%%
.*\n { System.out.printf("%5d %s",lineno++,yytext()); }