// "bool-split-alternator-a.hac"

import "testlib/bool-alternator.hac";
import "testlib/bool-source.hac";
import "testlib/bool-sink.hac";

pint M = 3;
chan(bool) I, O[M];

bool_source src<1, {true}>(I);
bool_split_alternator<M> spltr(I, O);
bool_sink snk[M];
(;i:M: snk[i](O[i]); )

