(* Test: opaque object type *)

INTERFACE Foo;

TYPE T <: ROOT;

END Foo.