KtPropertyGetterSymbol:
  annotationsList: [
    GetAnnotation()
      psi: KtAnnotationEntry
    ExplicitGetAnnotation()
      psi: KtAnnotationEntry
  ]
  callableIdIfNonLocal: null
  contextReceivers: []
  hasBody: true
  hasStableParameterNames: true
  isDefault: false
  isExtension: false
  isInline: false
  isOverride: false
  modality: FINAL
  origin: SOURCE
  receiverParameter: KtReceiverParameterSymbol:
    annotationsList: [
      ReceiverAnnotation()
        psi: KtAnnotationEntry
    ]
    origin: SOURCE
    owningCallableSymbol: KtKotlinPropertySymbol(/x)
    type: KtUsualClassType:
      annotationsList: [
        ReceiverTypeAnnotation()
          psi: KtAnnotationEntry
      ]
      ownTypeArguments: []
      type: @R|ReceiverTypeAnnotation|()  kotlin/Long
    getContainingModule: KtSourceModule "Sources of main"
    deprecationStatus: null
  returnType: KtUsualClassType:
    annotationsList: []
    ownTypeArguments: []
    type: kotlin/Int
  symbolKind: ACCESSOR
  typeParameters: []
  valueParameters: []
  visibility: Public
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null