// "connect-017.hac"
// copy-modified from "connect-003.hac"
// unroll: should allow self-connection without error
// create: will warn or fail due to dangling channel

defproc senders(chan!(bool) a) {
	a = a;
}

senders z;

