public final class A {
    private @org.jetbrains.annotations.NotNull field result: java.lang.String
    public method <init>(): void
    public final @org.jetbrains.annotations.NotNull method getResult(): java.lang.String
    public final method setResult(@org.jetbrains.annotations.NotNull p0: java.lang.String): void
}


public final class ExtensionFromTopLevelUnitNoArgsKt {
    public final static @org.jetbrains.annotations.NotNull method box(): java.lang.String
    public final static method foo(@org.jetbrains.annotations.NotNull p0: A): void
}
