#define PUSH states[top++] =
#define POP BEGIN states[--top]
#define yywrap() 1
+#define YY_SKIP_YYWRAP
%}
%%
int states[256];
top = 0;
<NORM>@@ { printf ("@"); }
<NORM>@ { printf ("<tt>"); PUSH NORM; BEGIN VERB; }
+<NORM>\\% { printf ("%"); }
<NORM>{comment} { }
<VERB>@ { printf ("</tt>"); POP; }
<VERB>@@ { printf ("@"); }