// "alternator-wchb_split-12.hac"

import "alternator.hac";
import "env.hac";

e1of2 L, R[2];
bool _Reset, Reset;
wchb_alternator_split_2xe1of<2> X(L, R, _Reset, Reset);
source_e1of<2> s<3,{0,1,1}>(L, _Reset);
bitbucket_e1of<2>
	b0(R[0], _Reset), 
	b1(R[1], _Reset);

