@<form>^*}
\end{describe}
+\begin{describe}{fun}{print-ugly-stuff @<stream> @<func> @> @<value>^*}
+\end{describe}
+
\begin{describe}{mac}
{dosequence (@<var> @<sequence>
@[[ :start @<start> @! :end @<end> @!
\begin{describe}{fun}{test-module @<path> @<reason>}
\end{describe}
+\begin{describe}{mac}
+ {test-parser (@<scanner>) @<parser> @<input>
+ @> @<success-flag> @<result> @<remainder>}
+\end{describe}
+
\begin{describe}{fun}{exercise}
\end{describe}