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

MODULE Main;

TYPE T = REFANY;

BEGIN
END Main.