// "alternator-wchb_split-01.hac"

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

e1of1 L, R[2];
bool _Reset, Reset;
wchb_alternator_split_2_slow X(L, R, _Reset, Reset);
source_e1of<1> s<1,{0}>(L, _Reset);
inactive_reset_bitbucket_e1of<1>
	b0(R[0], _Reset), 
	b1(R[1], _Reset);

