@java.lang.annotation.Retention
@kotlin.Metadata
public annotation class A {
    public abstract method value(): java.lang.String
}

@kotlin.Metadata
public final class ConstValInAnnotationDefaultKt {
    public final static @org.jetbrains.annotations.NotNull field z: java.lang.String
    public final static @org.jetbrains.annotations.NotNull method box(): java.lang.String
}

@A
@kotlin.Metadata
public final class Test {
    public method <init>(): void
}
