// "init-source-sink-b.hac"
//	$Id: init-source-sink-b.hac,v 1.1 2007/08/01 21:07:59 fang Exp $
// just testing what is set during Reset

import "buffer_init.hac";

bool _Reset, Reset;
e1of2 L, R;
// initial value 0
wchb2_init_e1of2	X<0>(L, R, _Reset, Reset);


