// "127.hac"
// copy-modified from "126.hac"
// should pass

defproc array(bool x) {
bool composite;
x = composite;
}

defproc ar(bool y) {
bool z;
y = z;
}

defproc foo(ar r) {
array k(r.y);
}

ar B;
foo C(B);

