MODULE Main;

FROM Test IMPORT checkI, done;

TYPE  Array = ARRAY OF INTEGER;

PROCEDURE Open(a: Array) RAISES {}=
  VAR c := NEW(REF Array, NUMBER(a));
  BEGIN
     checkI (NUMBER (c^), 2);
  END Open;

BEGIN
   Open(ARRAY [1..2] OF INTEGER {1,2});
   done ();
END Main.