// "nonmeta-bool-split.hac" (definition only)
// referencing an array of channels with nonmeta-index
// should pass unrolling and creating without warnings inside split

defproc split(chan!(bool) B[2]; chan?(int<1>) S) {
int<1> s;
chp {
	*[ S?(s); B[s]!(true) ]
}
}


