KtKotlinPropertySymbol:
  annotationsList: []
  backingFieldSymbol: KtBackingFieldSymbol:
    annotationsList: []
    callableIdIfNonLocal: null
    contextReceivers: []
    isExtension: false
    name: field
    origin: PROPERTY_BACKING_FIELD
    owningProperty: KtKotlinPropertySymbol(/x)
    receiverParameter: null
    returnType: KtUsualClassType:
      annotationsList: []
      ownTypeArguments: []
      type: kotlin/Int
    symbolKind: LOCAL
    typeParameters: []
    getContainingFileSymbol: KtFileSymbol(topLevelProperties.kt)
    getContainingJvmClassName: TopLevelPropertiesKt
    getContainingModule: KtSourceModule "Sources of main"
    deprecationStatus: null
  callableIdIfNonLocal: /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: KtUsualClassType:
      annotationsList: []
      ownTypeArguments: []
      type: kotlin/Int
    symbolKind: ACCESSOR
    typeParameters: []
    valueParameters: []
    visibility: Public
    getContainingFileSymbol: KtFileSymbol(topLevelProperties.kt)
    getContainingJvmClassName: TopLevelPropertiesKt
    getContainingModule: KtSourceModule "Sources of main"
    deprecationStatus: null
  hasBackingField: true
  hasGetter: true
  hasSetter: false
  initializer: KtConstantInitializerValue(10)
  isActual: false
  isConst: false
  isDelegatedProperty: false
  isExpect: false
  isExtension: false
  isFromPrimaryConstructor: false
  isLateInit: false
  isOverride: false
  isStatic: false
  isVal: true
  modality: FINAL
  name: x
  origin: SOURCE
  receiverParameter: null
  returnType: KtUsualClassType:
    annotationsList: []
    ownTypeArguments: []
    type: kotlin/Int
  setter: null
  symbolKind: TOP_LEVEL
  typeParameters: []
  visibility: Public
  getContainingFileSymbol: KtFileSymbol(topLevelProperties.kt)
  getContainingJvmClassName: TopLevelPropertiesKt
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null
  getterDeprecationStatus: null
  javaGetterName: getX
  javaSetterName: null
  setterDeprecationStatus: null

KtKotlinPropertySymbol:
  annotationsList: []
  backingFieldSymbol: KtBackingFieldSymbol:
    annotationsList: []
    callableIdIfNonLocal: null
    contextReceivers: []
    isExtension: false
    name: field
    origin: PROPERTY_BACKING_FIELD
    owningProperty: KtKotlinPropertySymbol(/y)
    receiverParameter: null
    returnType: KtUsualClassType:
      annotationsList: []
      ownTypeArguments: []
      type: kotlin/Int
    symbolKind: LOCAL
    typeParameters: []
    getContainingFileSymbol: KtFileSymbol(topLevelProperties.kt)
    getContainingJvmClassName: TopLevelPropertiesKt
    getContainingModule: KtSourceModule "Sources of main"
    deprecationStatus: null
  callableIdIfNonLocal: /y
  contextReceivers: []
  getter: KtPropertyGetterSymbol:
    annotationsList: []
    callableIdIfNonLocal: null
    contextReceivers: []
    hasBody: true
    hasStableParameterNames: true
    isDefault: false
    isExtension: false
    isInline: false
    isOverride: false
    modality: FINAL
    origin: SOURCE
    receiverParameter: KtReceiverParameterSymbol:
      annotationsList: []
      origin: SOURCE
      owningCallableSymbol: KtKotlinPropertySymbol(/y)
      type: KtUsualClassType:
        annotationsList: []
        ownTypeArguments: []
        type: kotlin/Int
      getContainingFileSymbol: KtFileSymbol(topLevelProperties.kt)
      getContainingModule: KtSourceModule "Sources of main"
      deprecationStatus: null
    returnType: KtUsualClassType:
      annotationsList: []
      ownTypeArguments: []
      type: kotlin/Int
    symbolKind: ACCESSOR
    typeParameters: []
    valueParameters: []
    visibility: Public
    getContainingFileSymbol: KtFileSymbol(topLevelProperties.kt)
    getContainingJvmClassName: TopLevelPropertiesKt
    getContainingModule: KtSourceModule "Sources of main"
    deprecationStatus: null
  hasBackingField: false
  hasGetter: true
  hasSetter: false
  initializer: null
  isActual: false
  isConst: false
  isDelegatedProperty: false
  isExpect: false
  isExtension: true
  isFromPrimaryConstructor: false
  isLateInit: false
  isOverride: false
  isStatic: false
  isVal: true
  modality: FINAL
  name: y
  origin: SOURCE
  receiverParameter: KtReceiverParameterSymbol:
    annotationsList: []
    origin: SOURCE
    owningCallableSymbol: KtKotlinPropertySymbol(/y)
    type: KtUsualClassType:
      annotationsList: []
      ownTypeArguments: []
      type: kotlin/Int
    getContainingFileSymbol: KtFileSymbol(topLevelProperties.kt)
    getContainingModule: KtSourceModule "Sources of main"
    deprecationStatus: null
  returnType: KtUsualClassType:
    annotationsList: []
    ownTypeArguments: []
    type: kotlin/Int
  setter: null
  symbolKind: TOP_LEVEL
  typeParameters: []
  visibility: Public
  getContainingFileSymbol: KtFileSymbol(topLevelProperties.kt)
  getContainingJvmClassName: TopLevelPropertiesKt
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null
  getterDeprecationStatus: null
  javaGetterName: getY
  javaSetterName: null
  setterDeprecationStatus: null

KtKotlinPropertySymbol:
  annotationsList: []
  backingFieldSymbol: KtBackingFieldSymbol:
    annotationsList: []
    callableIdIfNonLocal: null
    contextReceivers: []
    isExtension: false
    name: field
    origin: PROPERTY_BACKING_FIELD
    owningProperty: KtKotlinPropertySymbol(/get)
    receiverParameter: null
    returnType: KtUsualClassType:
      annotationsList: []
      ownTypeArguments: []
      type: kotlin/Long
    symbolKind: LOCAL
    typeParameters: []
    getContainingFileSymbol: KtFileSymbol(topLevelProperties.kt)
    getContainingJvmClassName: TopLevelPropertiesKt
    getContainingModule: KtSourceModule "Sources of main"
    deprecationStatus: null
  callableIdIfNonLocal: /get
  contextReceivers: []
  getter: KtPropertyGetterSymbol:
    annotationsList: []
    callableIdIfNonLocal: null
    contextReceivers: []
    hasBody: true
    hasStableParameterNames: true
    isDefault: false
    isExtension: false
    isInline: false
    isOverride: false
    modality: FINAL
    origin: SOURCE
    receiverParameter: KtReceiverParameterSymbol:
      annotationsList: []
      origin: SOURCE
      owningCallableSymbol: KtKotlinPropertySymbol(/get)
      type: KtUsualClassType:
        annotationsList: []
        ownTypeArguments: []
        type: kotlin/Short
      getContainingFileSymbol: KtFileSymbol(topLevelProperties.kt)
      getContainingModule: KtSourceModule "Sources of main"
      deprecationStatus: null
    returnType: KtUsualClassType:
      annotationsList: []
      ownTypeArguments: []
      type: kotlin/Long
    symbolKind: ACCESSOR
    typeParameters: []
    valueParameters: []
    visibility: Public
    getContainingFileSymbol: KtFileSymbol(topLevelProperties.kt)
    getContainingJvmClassName: TopLevelPropertiesKt
    getContainingModule: KtSourceModule "Sources of main"
    deprecationStatus: null
  hasBackingField: false
  hasGetter: true
  hasSetter: true
  initializer: null
  isActual: false
  isConst: false
  isDelegatedProperty: false
  isExpect: false
  isExtension: true
  isFromPrimaryConstructor: false
  isLateInit: false
  isOverride: false
  isStatic: false
  isVal: false
  modality: FINAL
  name: get
  origin: SOURCE
  receiverParameter: KtReceiverParameterSymbol:
    annotationsList: []
    origin: SOURCE
    owningCallableSymbol: KtKotlinPropertySymbol(/get)
    type: KtUsualClassType:
      annotationsList: []
      ownTypeArguments: []
      type: kotlin/Short
    getContainingFileSymbol: KtFileSymbol(topLevelProperties.kt)
    getContainingModule: KtSourceModule "Sources of main"
    deprecationStatus: null
  returnType: KtUsualClassType:
    annotationsList: []
    ownTypeArguments: []
    type: kotlin/Long
  setter: KtPropertySetterSymbol:
    annotationsList: []
    callableIdIfNonLocal: null
    contextReceivers: []
    hasBody: true
    hasStableParameterNames: true
    isDefault: false
    isExtension: false
    isInline: false
    isOverride: false
    modality: FINAL
    origin: SOURCE
    parameter: KtValueParameterSymbol:
      annotationsList: []
      callableIdIfNonLocal: null
      contextReceivers: []
      generatedPrimaryConstructorProperty: null
      hasDefaultValue: false
      isCrossinline: false
      isExtension: false
      isImplicitLambdaParameter: false
      isNoinline: false
      isVararg: false
      name: value
      origin: SOURCE
      receiverParameter: null
      returnType: KtUsualClassType:
        annotationsList: []
        ownTypeArguments: []
        type: kotlin/Long
      symbolKind: LOCAL
      typeParameters: []
      getContainingFileSymbol: KtFileSymbol(topLevelProperties.kt)
      getContainingJvmClassName: null
      getContainingModule: KtSourceModule "Sources of main"
      deprecationStatus: null
    receiverParameter: KtReceiverParameterSymbol:
      annotationsList: []
      origin: SOURCE
      owningCallableSymbol: KtKotlinPropertySymbol(/get)
      type: KtUsualClassType:
        annotationsList: []
        ownTypeArguments: []
        type: kotlin/Short
      getContainingFileSymbol: KtFileSymbol(topLevelProperties.kt)
      getContainingModule: KtSourceModule "Sources of main"
      deprecationStatus: null
    returnType: KtUsualClassType:
      annotationsList: []
      ownTypeArguments: []
      type: kotlin/Unit
    symbolKind: ACCESSOR
    typeParameters: []
    valueParameters: [
      KtValueParameterSymbol:
        annotationsList: []
        callableIdIfNonLocal: null
        contextReceivers: []
        generatedPrimaryConstructorProperty: null
        hasDefaultValue: false
        isCrossinline: false
        isExtension: false
        isImplicitLambdaParameter: false
        isNoinline: false
        isVararg: false
        name: value
        origin: SOURCE
        receiverParameter: null
        returnType: KtUsualClassType:
          annotationsList: []
          ownTypeArguments: []
          type: kotlin/Long
        symbolKind: LOCAL
        typeParameters: []
        getContainingFileSymbol: KtFileSymbol(topLevelProperties.kt)
        getContainingJvmClassName: null
        getContainingModule: KtSourceModule "Sources of main"
        deprecationStatus: null
    ]
    visibility: Public
    getContainingFileSymbol: KtFileSymbol(topLevelProperties.kt)
    getContainingJvmClassName: TopLevelPropertiesKt
    getContainingModule: KtSourceModule "Sources of main"
    deprecationStatus: null
  symbolKind: TOP_LEVEL
  typeParameters: []
  visibility: Public
  getContainingFileSymbol: KtFileSymbol(topLevelProperties.kt)
  getContainingJvmClassName: TopLevelPropertiesKt
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null
  getterDeprecationStatus: null
  javaGetterName: getGet
  javaSetterName: setGet
  setterDeprecationStatus: null