Module: lib
FILE: lib.kt
    @R|kotlin/annotation/Target|(allowedTargets = vararg(Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.CLASS|) [evaluated = vararg(Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.CLASS|)]) @R|kotlin/annotation/Retention|(value = Q|kotlin/annotation/AnnotationRetention|.R|kotlin/annotation/AnnotationRetention.BINARY| [evaluated = Q|kotlin/annotation/AnnotationRetention|.R|kotlin/annotation/AnnotationRetention.BINARY|]) public final annotation class Annotation : R|kotlin/Annotation| {
        public constructor(str: R|kotlin/String|): R|Annotation| {
            super<R|kotlin/Any|>()
        }

        public final val str: R|kotlin/String| = R|<local>/str|
            public get(): R|kotlin/String|

    }
    @R|kotlin/annotation/Target|(allowedTargets = vararg(Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.CLASS|) [evaluated = vararg(Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.CLASS|)]) @R|kotlin/annotation/Retention|(value = Q|kotlin/annotation/AnnotationRetention|.R|kotlin/annotation/AnnotationRetention.BINARY| [evaluated = Q|kotlin/annotation/AnnotationRetention|.R|kotlin/annotation/AnnotationRetention.BINARY|]) public final annotation class AnnotationWithAnnotation : R|kotlin/Annotation| {
        public constructor(anno: R|Annotation|): R|AnnotationWithAnnotation| {
            super<R|kotlin/Any|>()
        }

        public final val anno: R|Annotation| = R|<local>/anno|
            public get(): R|Annotation|

    }
    @R|kotlin/annotation/Target|(allowedTargets = vararg(Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.CLASS|) [evaluated = vararg(Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.CLASS|)]) @R|kotlin/annotation/Retention|(value = Q|kotlin/annotation/AnnotationRetention|.R|kotlin/annotation/AnnotationRetention.BINARY| [evaluated = Q|kotlin/annotation/AnnotationRetention|.R|kotlin/annotation/AnnotationRetention.BINARY|]) public final annotation class AnnotationWithAnnotationWithAnnotation : R|kotlin/Annotation| {
        public constructor(anno: R|AnnotationWithAnnotation|): R|AnnotationWithAnnotationWithAnnotation| {
            super<R|kotlin/Any|>()
        }

        public final val anno: R|AnnotationWithAnnotation| = R|<local>/anno|
            public get(): R|AnnotationWithAnnotation|

    }
    @R|AnnotationWithAnnotation|(anno = R|/Annotation.Annotation|(<strcat>(String(Str), String(ing))) [evaluated = R|/Annotation.Annotation|(String(String))]) public final class A : R|kotlin/Any| {
        public constructor(): R|A| {
            super<R|kotlin/Any|>()
        }

    }
    @R|AnnotationWithAnnotationWithAnnotation|(anno = R|/AnnotationWithAnnotation.AnnotationWithAnnotation|(R|/Annotation.Annotation|(<strcat>(String(Str), String(ing)))) [evaluated = R|/AnnotationWithAnnotation.AnnotationWithAnnotation|(R|/Annotation.Annotation|(String(String)))]) public final class B : R|kotlin/Any| {
        public constructor(): R|B| {
            super<R|kotlin/Any|>()
        }

    }
Module: main
FILE: main.kt
    public final fun box(): R|kotlin/String| {
        ^box String(OK)
    }
