// FILE: Simple.java

public interface Simple {
    default String test(String s) {
        return s + "Fail";
    }
}

// FILE: main.kt

interface KInterface: Simple {
    override fun test(s: String): String {
        return s + "K"
    }
}

class Test : KInterface {

}

fun box(): String {
    return Test().test("O")
}