// "source-01.hac"
// contributed by Filipp Akopyan <filipp@csl.cornell.edu>
// BUG: 2nd parameter {...} dies (abort) during create with only value
// FIXED: HACKT-00-01-04-main-00-79-13

import "env.hac";
import "channel.hac";

bool _Reset, Reset;
e1of2 p1;
source_e1of2 src_p1<1,{1}>(p1, _Reset);	// now is relaxed
// source_e1of2 <1,{1}> src_p1(p1, _Reset);
// source_e1of2 <2,{1,1}> src_p1(p1, _Reset);	// this works around

