module t0 { interface X { char s (in any z); }; }; module t1 { interface X { void x (in any a); }; module Y { interface Z : t0::X { short y (in t1::X b); long p (in t0::X d); }; }; }; module t2 { interface X { void x (in X a); }; module Y { interface Z : X { short y (in t1::X b); long p (in t0::X d); }; }; };