INTERFACE A; (* missing method in supertype causes error in override *) TYPE T <: ROOT; END A.