// "alternator-onehot_counter-05.hac"
// testing CMOS source talking to CMOS bucket

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

bool _Reset, Reset;
e1of1 X;
c1of1 x;
X.d = x.d;
onehot_counter1 S(X.e, x,  _Reset, Reset);
bitbucket_e1of1 B(X, _Reset);

