INTERFACE C;

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

PROCEDURE Make (self: T);

END C.