(* Test: declaration of a REF type *)

MODULE Main;

TYPE
  T = REF INTEGER;

VAR t: T;
BEGIN
  EVAL t;
END Main.