\begin{circus}
	%\circchannel c : \nat
	\circchannel c : \{0, 3\}
\end{circus}
\begin{circus}
	\circprocess ROADWRAITH \circdef \circbegin
\end{circus}

\begin{circusaction}
	\circspot c.3 \then \Skip
\end{circusaction}
\begin{circus}
\circend
\end{circus}
