// "034.hac" should fail, use of uninitialized pint

template <pint N>
defproc foo();

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

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

// for type-checking ok if foo undefined

