yylineno = 1;
}
-"__oline__" fprintf (yyout, "%d", yylineno);
+"@<:@" fputc ('[', yyout);
+"@:>@" fputc (']', yyout);
+
+"__oline__" fprintf (yyout, "%d", yylineno+1);
"__ofile__" fprintf (yyout, "%s", yyoutname);
-[^_\n]+ ECHO;
+[^@_\n]+ ECHO;
\n+ yylineno += yyleng; ECHO;
. ECHO;