\begin{circus}
\circchannel alinhar, largar
\end{circus}
\begin{circus}
\circprocess CARRINHO \circdef 
	%x : \nat \circspot 
	\circbegin
\end{circus}
%\begin{circusaction}
%	\circstate\ STATE ~~==~~ [~~ pos : \nat ~~]
%\end{circusaction}
\begin{circusaction}
	\circspot 
		%pos := x; 
		alinhar \then largar \then \Skip
\end{circusaction}
\begin{circus}
\circend
\end{circus}
\begin{circus}
\circprocess CARRINHOS \circdef
	(CARRINHO
		\lpar \lchanset alinhar, largar \rchanset \rpar
	(CARRINHO
		\lpar \lchanset alinhar, largar \rchanset \rpar
	(CARRINHO
		\lpar \lchanset alinhar, largar \rchanset \rpar
	(CARRINHO
		\lpar \lchanset alinhar, largar \rchanset \rpar
	(CARRINHO
		\lpar \lchanset alinhar, largar \rchanset \rpar
	(CARRINHO
		\lpar \lchanset alinhar, largar \rchanset \rpar
	(CARRINHO
		\lpar \lchanset alinhar, largar \rchanset \rpar
	(CARRINHO
		\lpar \lchanset alinhar, largar \rchanset \rpar
	(CARRINHO
		\lpar \lchanset alinhar, largar \rchanset \rpar
	CARRINHO)))))))))
\end{circus}