@kotlin.Metadata public final class Another { public method (): void } @kotlin.Metadata public interface Base @kotlin.Metadata public final class Derived { public method (): void } @kotlin.Metadata 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 }