// "017.hac" should pass: proper use of pint template formal
// for now is acceptable to use an uninitialized param as a default value.  
// unroll-link time will eventually check that everything is properly
// initialized before use.  

pint default_width;

template <pint W = default_width>
defproc something_wide() {
	int<W> wide_int;
}

/** and later...
default_width = 16;
**/

