// "alternator-1of2-04.hac"

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

e1of2 X;
c1of2 x;
X.d = x.d;
bool _Reset, Reset;
alternator_source_1of2_fast S(X.e, x, _Reset, Reset);
bitbucket_e1of2 B(X, _Reset);


