// "env-cmos-source-sink-e-01.hac"
// testing CMOS source talking to CMOS bucket

import "env.hac";

bool _Reset, Reset;
e1of2 X;
cmos_source_e1of2 S<4,{0,0,1,1}>(X, _Reset, Reset);
bitbucket_e1of2 B(X, _Reset);

