// "066.hac" should fail: not instantiated

defproc portaproc(bool b, c[4]; int i, j[2]) { }

bool a;
bool x[4];
int q;
int r[2];

portaproc p[1..3];
p[0](a, x, q, r);		// should fail, not instantiated
p[1]( ,  ,  ,  );

