public final class A {
    public @org.jetbrains.annotations.NotNull field str: java.lang.String
    public method <init>(): void
    public final @org.jetbrains.annotations.NotNull method getMyStr(): java.lang.String
    public @org.jetbrains.annotations.NotNull method getStr(): java.lang.String
    public method setStr(@org.jetbrains.annotations.NotNull p0: java.lang.String): void
}

public interface Intf {
    public abstract @org.jetbrains.annotations.NotNull method getStr(): java.lang.String
}

public final class OverrideExceptionKt {
    public final static @org.jetbrains.annotations.NotNull method box(): java.lang.String
}
