// "internal-node-06.hac"
// copy-modified from "internal-node-00.hac"

defproc bogus(bool x, y, w) {
prs {
	x & y		-> @z[0]-		// dies on ACT's cflat
	// however, we will try to support in HAC to make internal
	// nodes array-able...
	~@z[0] & w	-> w-
}
}

bogus A;

