(* Test: NEW of simple REF types *)

MODULE Main;

TYPE
  t1 = REF INTEGER;
  t2 = REF RECORD a, b: INTEGER END;
  t3 = REF ARRAY [0..9] OF INTEGER;

VAR
  v1: t1;
  v2: t2;
  v3: t3;

BEGIN
  v1 := NEW (t1);
  v2 := NEW (t2);
  v3 := NEW (t3);
END Main.