+<INITIAL> "{{" => (YYBEGIN DOC; strStart := yypos; str := []; continue());
+<DOC> "}}" => (YYBEGIN INITIAL;
+ Tokens.DOC (String.implode (List.rev (!str)), !strStart, yypos + 1));
+<DOC> "\n" => (lineNum := !lineNum + 1;
+ linePos := yypos :: ! linePos;
+ str := #"\n" :: !str; continue());
+<DOC> . => (str := String.sub (yytext, 0) :: !str; continue());
+