(* Test: declaration of a REF type *)

MODULE Main;

TYPE
  T = REF INTEGER;

BEGIN
END Main.