KtKotlinPropertySymbol:
  annotationsList: [
    ExplicitPropertyAnnotation()
      psi: KtAnnotationEntry
    PropertyAnnotation()
      psi: KtAnnotationEntry
  ]
  backingFieldSymbol: KtBackingFieldSymbol:
    annotationsList: [
      DelegateAnnotation()
        psi: KtAnnotationEntry
    ]
    callableIdIfNonLocal: null
    contextReceivers: []
    isExtension: false
    name: field
    origin: PROPERTY_BACKING_FIELD
    owningProperty: KtKotlinPropertySymbol(/lazyProperty)
    receiverParameter: null
    returnType: KtUsualClassType:
      annotationsList: []
      ownTypeArguments: []
      type: kotlin/Int
    symbolKind: LOCAL
    typeParameters: []
    getContainingModule: KtSourceModule "Sources of main"
    deprecationStatus: null
  callableIdIfNonLocal: /lazyProperty
  contextReceivers: []
  getter: KtPropertyGetterSymbol:
    annotationsList: []
    callableIdIfNonLocal: null
    contextReceivers: []
    hasBody: true
    hasStableParameterNames: true
    isDefault: false
    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
    getContainingModule: KtSourceModule "Sources of main"
    deprecationStatus: null
  hasBackingField: false
  hasGetter: true
  hasSetter: false
  initializer: null
  isActual: false
  isConst: false
  isDelegatedProperty: true
  isExpect: false
  isExtension: false
  isFromPrimaryConstructor: false
  isLateInit: false
  isOverride: false
  isStatic: false
  isVal: true
  modality: FINAL
  name: lazyProperty
  origin: SOURCE
  receiverParameter: null
  returnType: KtUsualClassType:
    annotationsList: []
    ownTypeArguments: []
    type: kotlin/Int
  setter: null
  symbolKind: TOP_LEVEL
  typeParameters: []
  visibility: Public
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null
  getterDeprecationStatus: null
  javaGetterName: getLazyProperty
  javaSetterName: null
  setterDeprecationStatus: null