// "bool-split-a.hac"
//	$Id: bool-split-a.hac,v 1.3 2007/08/09 05:49:45 fang Exp $
// should safely operate

// all these are from testlib/
import "bool-source.hac";
import "bool-split.hac";
import "bool-sink.hac";
import "int-source.hac";

chan(bool) A;
chan(bool) B[4];
chan(int) C;
bool_source_constant src<true>(A);
int_source<32> c<4, {0,1,2,3}>(C);
bool_sink snk[4];
(;i:4:
	snk[i](B[i]);
)
bool_split<4> split(C, A, B);

