1 2 3 4 5 6 7 8
\begin{circus}\circchannel abeesse : \boolean \cross \nat\end{circus}\begin{circus}\circprocess ProcAbs \circdef \circbegin \\ \t1\t1 \circspot abeesse.\true.0 \then \Skip \\ \circend\end{circus}