(* Test: open ARRAY indexing *)

MODULE Main;

PROCEDURE foo (
  a: ARRAY OF INTEGER;
  b: ARRAY OF ARRAY OF INTEGER;
  i: INTEGER ) =

BEGIN
  i := a[i];
  i := b[i, 2*i];
  a := b[i];
END foo;

BEGIN
END Main.