free c:channel.
free d:bitstring [private].


query mess(c,d).

process 
	out(c,d) | in(c, x: bitstring)

(* EXPECTPV
RESULT not mess(c[],d[]) is false.
0.004s (user 0.004s + system 0.000s), max rss 7140K
END *)
