free c:channel.
event e(bitstring,bitstring).
query i:sid; event(e(new A[!1 = i], new B[!1 = i])).

process 
	(in(c,(y:bitstring,x:bitstring));event e(x,y)) 
	| ! (new A: bitstring; new B:bitstring;out(c,(A,B)))
