// "013.hac" should pass:

template <pint W>
typedef	int<2*W>	double_int;

template <pint N, K>
defproc fangism(int<K> ick[N]);

template <pint K>
typedef fangism<0,K>	fangism_0;	// type-checks fine
	// but should eventually die at unroll time because
	// array ick will have size 0


