// "059.hac" should fail: uninstantiated indices

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

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

portaproc p, s;

p(x[2], x, r[1], r[1..3]);		// not instantiated yet
s( ,  ,  ,  );

