chan c = [0] of {chan};

active proctype A() {
	chan cc;
	int x;

	c?cc;
	cc?x;
	printf("%d\n", x);
}

active proctype B() {
	chan cc = [0] of {int};

	c!cc;
	cc!69105;
}