public interface I {

    void f();
}

////////////////////


public class J extends Unresolved implements I {
}

////////////////////


/**
 * public final class K : J {
 *
 *   // signature: <init>()V
 *   public constructor()
 *
 *   // module name: main
 * }
 */
@kotlin.Metadata()
public final class K extends J {

    public K() {
        super();
    }
}
