// "073a.hac" should pass, (ugly) types match
// copy-modified from "073.hac"

template <pint Q><pint R>
defproc foo();

pint X[2];
X[0] = 4;
X[1] = 3;

foo<5><4> car[0..2];
foo<X[0]+1><X[1]+1> car[3..4];	// disgusting but correct


