KtKotlinPropertySymbol:
  annotationsList: []
  callableIdIfNonLocal: /A.x
  contextReceivers: []
  getter: KtPropertyGetterSymbol(<getter>)
  hasBackingField: true
  hasGetter: true
  hasSetter: false
  initializer: KtConstantInitializerValue(10)
  isConst: false
  isDelegatedProperty: false
  isExtension: false
  isFromPrimaryConstructor: false
  isLateInit: false
  isOverride: false
  isStatic: false
  isVal: true
  modality: FINAL
  name: x
  origin: SOURCE
  receiverType: null
  returnType: kotlin/Int
  setter: null
  symbolKind: CLASS_MEMBER
  typeParameters: []
  visibility: Public
  getDispatchReceiver(): A
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null
  getterDeprecationStatus: null
  javaGetterName: getX
  javaSetterName: null
  setterDeprecationStatus: null

KtPropertyGetterSymbol:
  annotationsList: []
  callableIdIfNonLocal: null
  contextReceivers: []
  hasBody: true
  hasStableParameterNames: true
  isDefault: false
  isExtension: false
  isInline: false
  isOverride: false
  modality: FINAL
  origin: SOURCE
  receiverType: kotlin/Int
  returnType: kotlin/Int
  symbolKind: ACCESSOR
  typeParameters: []
  valueParameters: []
  visibility: Public
  getDispatchReceiver(): A
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null

KtKotlinPropertySymbol:
  annotationsList: []
  callableIdIfNonLocal: /A.y
  contextReceivers: []
  getter: KtPropertyGetterSymbol(<getter>)
  hasBackingField: false
  hasGetter: true
  hasSetter: false
  initializer: null
  isConst: false
  isDelegatedProperty: false
  isExtension: true
  isFromPrimaryConstructor: false
  isLateInit: false
  isOverride: false
  isStatic: false
  isVal: true
  modality: FINAL
  name: y
  origin: SOURCE
  receiverType: kotlin/Int
  returnType: kotlin/Int
  setter: null
  symbolKind: CLASS_MEMBER
  typeParameters: []
  visibility: Public
  getDispatchReceiver(): A
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null
  getterDeprecationStatus: null
  javaGetterName: getY
  javaSetterName: null
  setterDeprecationStatus: null

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