// "052.hac" should pass: types match in ports

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[0..4], q, r);		// should die, [4] not instantiated
s( ,  ,  ,  );

