INTERFACE foo;

TYPE t <: ROOT;

TYPE u <: ROOT;

END foo.