// DONT_TARGET_EXACT_BACKEND: JS JS_IR JS_IR_ES6 WASM NATIVE
// MODULE: lib
// FILE: Base.java

public class Base {
    protected static String protectedFun() {
        return "OK";
    }
}

// MODULE: main(lib)
// FILE: 1.kt

class Derived : Base() {
    fun test(): String {
        return Base.protectedFun()!!
    }
}

fun box(): String {
    return Derived().test()
}