MODULE Main;
(* allocate a negatively sized open array *)

VAR
  a: INTEGER;
  r: REFANY;

BEGIN
  a := -1;
  r := NEW (REF ARRAY OF INTEGER, a);
END Main.