// "env-source-sink-e-02.hac"
// testing source talking to bucket

import "env.hac";

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

