interface K extends I, J {}