// "033a.hac" should pass: appropriate use of template type

template <pint N>
defproc foo();		// undefined, cannot unroll

pint W[2];
W[0] = 1;
W[1] = 0;

// disgusting, but legal
foo<W[W[W[W[0]]]]> bar;

// for type-checking ok if foo undefined

