INTERFACE B;

IMPORT C;

TYPE T = OBJECT METHODS m() := Make; END;
     U = OBJECT METHODS m(); END;
     V = OBJECT METHODS m() := C.Make; END;

PROCEDURE Make (self: T);

END B.