KtNamedClassOrObjectSymbol:
  annotationsList: [
    kotlin/annotation/Target(allowedTargets = [kotlin.annotation.AnnotationTarget.TYPE])
      psi: KtAnnotationEntry
  ]
  classIdIfNonLocal: Anno1
  classKind: ANNOTATION_CLASS
  companionObject: null
  contextReceivers: []
  isData: false
  isExternal: false
  isFun: false
  isInline: false
  isInner: false
  modality: FINAL
  name: Anno1
  origin: SOURCE
  superTypes: [
    kotlin/Annotation
  ]
  symbolKind: TOP_LEVEL
  typeParameters: []
  visibility: Public
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null

KtNamedClassOrObjectSymbol:
  annotationsList: [
    kotlin/annotation/Target(allowedTargets = [kotlin.annotation.AnnotationTarget.TYPE])
      psi: KtAnnotationEntry
  ]
  classIdIfNonLocal: Anno2
  classKind: ANNOTATION_CLASS
  companionObject: null
  contextReceivers: []
  isData: false
  isExternal: false
  isFun: false
  isInline: false
  isInner: false
  modality: FINAL
  name: Anno2
  origin: SOURCE
  superTypes: [
    kotlin/Annotation
  ]
  symbolKind: TOP_LEVEL
  typeParameters: []
  visibility: Public
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null

KtNamedClassOrObjectSymbol:
  annotationsList: [
    kotlin/annotation/Target(allowedTargets = [kotlin.annotation.AnnotationTarget.TYPE])
      psi: KtAnnotationEntry
  ]
  classIdIfNonLocal: Anno3
  classKind: ANNOTATION_CLASS
  companionObject: null
  contextReceivers: []
  isData: false
  isExternal: false
  isFun: false
  isInline: false
  isInner: false
  modality: FINAL
  name: Anno3
  origin: SOURCE
  superTypes: [
    kotlin/Annotation
  ]
  symbolKind: TOP_LEVEL
  typeParameters: []
  visibility: Public
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null

KtNamedClassOrObjectSymbol:
  annotationsList: [
    kotlin/annotation/Target(allowedTargets = [kotlin.annotation.AnnotationTarget.TYPE])
      psi: KtAnnotationEntry
  ]
  classIdIfNonLocal: Anno4
  classKind: ANNOTATION_CLASS
  companionObject: null
  contextReceivers: []
  isData: false
  isExternal: false
  isFun: false
  isInline: false
  isInner: false
  modality: FINAL
  name: Anno4
  origin: SOURCE
  superTypes: [
    kotlin/Annotation
  ]
  symbolKind: TOP_LEVEL
  typeParameters: []
  visibility: Public
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null

KtNamedClassOrObjectSymbol:
  annotationsList: []
  classIdIfNonLocal: I
  classKind: INTERFACE
  companionObject: null
  contextReceivers: []
  isData: false
  isExternal: false
  isFun: false
  isInline: false
  isInner: false
  modality: ABSTRACT
  name: I
  origin: SOURCE
  superTypes: [
    kotlin/Any
  ]
  symbolKind: TOP_LEVEL
  typeParameters: []
  visibility: Public
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null

KtFunctionSymbol:
  annotationsList: []
  callableIdIfNonLocal: /X.f
  contextReceivers: []
  contractEffects: []
  hasStableParameterNames: true
  isBuiltinFunctionInvoke: false
  isExtension: false
  isExternal: false
  isInfix: false
  isInline: false
  isOperator: false
  isOverride: false
  isStatic: false
  isSuspend: false
  modality: FINAL
  name: f
  origin: SOURCE
  receiverParameter: null
  returnType: [
    Anno3()
      psi: KtAnnotationEntry
  ] @R|Anno3|()  I
  symbolKind: CLASS_MEMBER
  typeParameters: []
  valueParameters: [
    KtValueParameterSymbol:
      annotationsList: []
      callableIdIfNonLocal: null
      contextReceivers: []
      generatedPrimaryConstructorProperty: null
      hasDefaultValue: false
      isCrossinline: false
      isExtension: false
      isImplicitLambdaParameter: false
      isNoinline: false
      isVararg: false
      name: arg
      origin: SOURCE
      receiverParameter: null
      returnType: [
        Anno2()
          psi: KtAnnotationEntry
      ] @R|Anno2|()  I
      symbolKind: LOCAL
      typeParameters: []
      getContainingModule: KtSourceModule "Sources of main"
      deprecationStatus: null
  ]
  visibility: Public
  getDispatchReceiver(): X
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null

KtKotlinPropertySymbol:
  annotationsList: []
  callableIdIfNonLocal: /X.x
  contextReceivers: []
  getter: KtPropertyGetterSymbol:
    annotationsList: []
    callableIdIfNonLocal: null
    contextReceivers: []
    hasBody: false
    hasStableParameterNames: true
    isDefault: true
    isExtension: false
    isInline: false
    isOverride: false
    modality: FINAL
    origin: SOURCE
    receiverParameter: null
    returnType: [
      Anno4()
        psi: KtAnnotationEntry
    ] @R|Anno4|()  I
    symbolKind: ACCESSOR
    typeParameters: []
    valueParameters: []
    visibility: Public
    getDispatchReceiver(): X
    getContainingModule: KtSourceModule "Sources of main"
    deprecationStatus: null
  hasBackingField: true
  hasGetter: true
  hasSetter: false
  initializer: KtNonConstantInitializerValue(this)
  isConst: false
  isDelegatedProperty: false
  isExtension: false
  isFromPrimaryConstructor: false
  isLateInit: false
  isOverride: false
  isStatic: false
  isVal: true
  modality: FINAL
  name: x
  origin: SOURCE
  receiverParameter: null
  returnType: [
    Anno4()
      psi: KtAnnotationEntry
  ] @R|Anno4|()  I
  setter: null
  symbolKind: CLASS_MEMBER
  typeParameters: []
  visibility: Public
  getDispatchReceiver(): X
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null
  getterDeprecationStatus: null
  javaGetterName: getX
  javaSetterName: null
  setterDeprecationStatus: null

KtNamedClassOrObjectSymbol:
  annotationsList: []
  classIdIfNonLocal: X
  classKind: CLASS
  companionObject: null
  contextReceivers: []
  isData: false
  isExternal: false
  isFun: false
  isInline: false
  isInner: false
  modality: FINAL
  name: X
  origin: SOURCE
  superTypes: [
    kotlin/Any
    [
      Anno1()
        psi: KtAnnotationEntry
    ] @R|Anno1|()  I
  ]
  symbolKind: TOP_LEVEL
  typeParameters: []
  visibility: Public
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null