KtPropertySetterSymbol:
  annotationsList: [
    ExplicitSetAnnotation()
      psi: KtAnnotationEntry
    SetAnnotation()
      psi: KtAnnotationEntry
  ]
  callableIdIfNonLocal: null
  contextReceivers: []
  hasBody: true
  hasStableParameterNames: true
  isDefault: false
  isExtension: false
  isInline: false
  isOverride: false
  modality: FINAL
  origin: SOURCE
  parameter: KtValueParameterSymbol:
    annotationsList: [
      ExplicitSetparamAnnotation()
        psi: KtAnnotationEntry
      SetparamAnnotation()
        psi: KtAnnotationEntry
    ]
    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/Int
    symbolKind: LOCAL
    typeParameters: []
    getContainingModule: KtSourceModule "Sources of main"
    deprecationStatus: null
  receiverParameter: null
  returnType: KtUsualClassType:
    annotationsList: []
    ownTypeArguments: []
    type: kotlin/Unit
  symbolKind: ACCESSOR
  typeParameters: []
  valueParameters: [
    KtValueParameterSymbol:
      annotationsList: [
        ExplicitSetparamAnnotation()
          psi: KtAnnotationEntry
        SetparamAnnotation()
          psi: KtAnnotationEntry
      ]
      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/Int
      symbolKind: LOCAL
      typeParameters: []
      getContainingModule: KtSourceModule "Sources of main"
      deprecationStatus: null
  ]
  visibility: Public
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null