\begin{circus}
  	\circchannel chan : 
  at \cross 
  at \cross 
  at
  \end{circus}
  
  \begin{circus}
  	\circchannel chan0 : 
  at \cross 
  at
  \end{circus}
  
  \begin{circus}
  	\circchannel chan2 : 
  at \cross 
  at \cross 
  at \cross 
  at
  \end{circus}
  
  \begin{circus}
  	\circprocess CCCC \circdef 
  	\circbegin
  \end{circus}
  \begin{circusaction}
  \circspot chan0?x?y \then \Skip
  \end{circusaction}
  \begin{circus}
  \circend
  \end{circus}