// "115.hac"
// copy-modified from "065.hac"
// testing metaloop-selection feature of CHP, with channel peek

defproc metalooptest(chan?(int<4>) L; chan!(bool) R) {
int<4> l;
bool b[16];
chp {
	*[
		L#(l);
		{ L?,
		[[]i:16:
			(l==i) -> R!(b[i])
		]}
	]
}
}

