INTERFACE bar;

IMPORT foo;

REVEAL foo.u <: foo.t OBJECT a: INTEGER; METHODS END;

END bar.