\begin{zed}
	Bin ::= zero | um
\end{zed}

\begin{circus}
	\circchannel canal : Bin
\end{circus}

\begin{circus}
	\circprocess TestCall \circdef x : Bin \circspot
		\circbegin \\
			\circstate St ~~==~~ [~ xis : \nat ~] \\
			\circspot canal.x \then \Skip \\
		\circend
\end{circus}

%\begin{circus}
%	\circprocess TestCall2 \circdef x : Bin \circspot
%		\circbegin
%			\circstate St ~~==~~ [~ xis2 : \nat ~] \\
%			\circspot canal.x \then \Skip \\
%		\circend
%\end{circus}

\begin{circus}
	\circprocess CallCinco \circdef
		TestCall (zero) %\\
\end{circus}
