\begin{circus}
	\circchannel chan, chan2, chan3, chan4, chan5, chan6, chan7: \nat 
\end{circus}

\begin{circus}
	\circprocess PeEx4 \circdef \circbegin
\end{circus}

\begin{circusaction}
	\circspot 
		chan.3
		\then chan2.6
		\then chan3.5
		\then chan4.5
		\then \Skip
		%\extchoice
		%chan5.6
		%\then chan6.5
		%\then chan7.5
		%\then \Skip
\end{circusaction}

\begin{circus}	
	\circend
\end{circus}
