public final class Another {
    public method <init>(): void
}

public interface Base

public final class Derived {
    public method <init>(): void
}

public final class PrefixIncrementOnClassKt {
    public final static @org.jetbrains.annotations.NotNull method box(): java.lang.String
    public final static @org.jetbrains.annotations.NotNull method inc(@org.jetbrains.annotations.NotNull p0: Base): Derived
}
