KtKotlinPropertySymbol:
  annotationsList: []
  callableIdIfNonLocal: /x
  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: TOP_LEVEL
  typeParameters: []
  visibility: Public
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null
  getterDeprecationStatus: null
  javaGetterName: getX
  javaSetterName: null
  setterDeprecationStatus: null

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

KtKotlinPropertySymbol:
  annotationsList: []
  callableIdIfNonLocal: /y
  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: TOP_LEVEL
  typeParameters: []
  visibility: Public
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null
  getterDeprecationStatus: null
  javaGetterName: getY
  javaSetterName: null
  setterDeprecationStatus: null