(* Test: does refany have a typecell ? *)

MODULE Main;

TYPE T = REFANY;

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