// FILE: Base.java

public interface Base {
    default String foo() {
        return "OK";
    }
}

// FILE: derived.kt
// JVM_TARGET: 1.8
interface K1 : Base

interface K2 : K1

interface K3 : K2

class C : K3 {
    override fun foo() = super.foo()
}

fun box(): String = C().foo()