import p.P; interface A extends P { }