%START NORM VERB VERBENV
sp [ \t]*
nl {sp}\n{sp}
+comment \%.*$
miranda ([0-9]+(\-([0-9]+)?)?)?>
%{
#define PUSH states[top++] =
top = 0;
<NORM>@@ { printf ("@"); }
<NORM>@ { printf ("<tt>"); PUSH NORM; BEGIN VERB; }
+<NORM>{comment} { }
<VERB>@ { printf ("</tt>"); POP; }
<VERB>@@ { printf ("@"); }
<VERB>\> { printf (">"); }