MODULE Main;

FROM Test IMPORT done;

TYPE  Array = ARRAY OF INTEGER;

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

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