@<form>^*}
\end{describe}
+\begin{describe}{fun}{print-ugly-stuff @<stream> @<func> @> @<value>^*}
+\end{describe}
+
\begin{describe}{mac}
{dosequence (@<var> @<sequence>
@[[ :start @<start> @! :end @<end> @!
(:long-name @<string>) @! \\
(@<string> @<format-arg>^+) @!
(:doc @<string> @<format-arg>^*) @! \\
- (:opt-arg @<arg-name>) @! \\
+ (:arg @<arg-name>) @! (:opt-arg @<arg-name>) @! \\
@<keyword> @! (:tag @<tag>) @!
(:negated-tag @<tag>) @! \\
@{ (@<handler> @<var> @<handler-arg>^*) @}^*
\begin{describe}{fun}{test-module @<path> @<reason>}
\end{describe}
+\begin{describe}{fun}
+ {test-parse-c-type @<string>
+ @> t @<c-type> @<kernel> @<string> @! nil @<indicator>}
+\end{describe}
+
+\begin{describe}{mac}
+ {test-parser (@<scanner>) @<parser> @<input>
+ @> @<success-flag> @<result> @<remainder>}
+\end{describe}
+
\begin{describe}{fun}{exercise}
\end{describe}