(* Test: declaring an opaque type *)

INTERFACE Test;

TYPE
 T <: REFANY;

END Test.