MODULE Main;

IMPORT Test;

PROCEDURE P (READONLY a: ARRAY OF INTEGER;  x, y: INTEGER) =
  BEGIN
    Test.checkI (NUMBER (a), 2);
    Test.checkI (a[0], x);
    Test.checkI (a[1], y);
  END P;

BEGIN

  P (ARRAY [0..1] OF INTEGER {10, 11}, 10, 11);

  P (ARRAY OF INTEGER {20, 21}, 20, 21);

  WITH x = ARRAY [0..1] OF INTEGER {30, 31} DO P(x, 30, 31) END;

  WITH x = ARRAY OF INTEGER {40, 41} DO P(x, 40, 41) END;

  Test.done ();
END Main.