KtConstructorSymbol:
  annotationsList: []
  callableIdIfNonLocal: null
  containingClassIdIfNonLocal: A
  contextReceivers: []
  hasStableParameterNames: true
  isExtension: false
  isPrimary: true
  origin: SOURCE
  receiverType: null
  returnType: A
  symbolKind: CLASS_MEMBER
  typeParameters: []
  valueParameters: []
  visibility: Public
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null

KtValueParameterSymbol:
  annotationsList: []
  callableIdIfNonLocal: null
  contextReceivers: []
  generatedPrimaryConstructorProperty: null
  hasDefaultValue: false
  isCrossinline: false
  isExtension: false
  isImplicitLambdaParameter: false
  isNoinline: false
  isVararg: false
  name: x
  origin: SOURCE
  receiverType: null
  returnType: kotlin/Int
  symbolKind: LOCAL
  typeParameters: []
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null

KtConstructorSymbol:
  annotationsList: []
  callableIdIfNonLocal: null
  containingClassIdIfNonLocal: A
  contextReceivers: []
  hasStableParameterNames: true
  isExtension: false
  isPrimary: false
  origin: SOURCE
  receiverType: null
  returnType: A
  symbolKind: CLASS_MEMBER
  typeParameters: []
  valueParameters: [
    KtValueParameterSymbol(x)
  ]
  visibility: Public
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null

KtValueParameterSymbol:
  annotationsList: []
  callableIdIfNonLocal: null
  contextReceivers: []
  generatedPrimaryConstructorProperty: null
  hasDefaultValue: false
  isCrossinline: false
  isExtension: false
  isImplicitLambdaParameter: false
  isNoinline: false
  isVararg: false
  name: y
  origin: SOURCE
  receiverType: null
  returnType: kotlin/Int
  symbolKind: LOCAL
  typeParameters: []
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null

KtValueParameterSymbol:
  annotationsList: []
  callableIdIfNonLocal: null
  contextReceivers: []
  generatedPrimaryConstructorProperty: null
  hasDefaultValue: false
  isCrossinline: false
  isExtension: false
  isImplicitLambdaParameter: false
  isNoinline: false
  isVararg: false
  name: z
  origin: SOURCE
  receiverType: null
  returnType: kotlin/String
  symbolKind: LOCAL
  typeParameters: []
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null

KtConstructorSymbol:
  annotationsList: []
  callableIdIfNonLocal: null
  containingClassIdIfNonLocal: A
  contextReceivers: []
  hasStableParameterNames: true
  isExtension: false
  isPrimary: false
  origin: SOURCE
  receiverType: null
  returnType: A
  symbolKind: CLASS_MEMBER
  typeParameters: []
  valueParameters: [
    KtValueParameterSymbol(y)
    KtValueParameterSymbol(z)
  ]
  visibility: Public
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null

KtNamedClassOrObjectSymbol:
  annotationsList: []
  classIdIfNonLocal: A
  classKind: CLASS
  companionObject: null
  contextReceivers: []
  isData: false
  isExternal: false
  isFun: false
  isInline: false
  isInner: false
  modality: FINAL
  name: A
  origin: SOURCE
  superTypes: [
    kotlin/Any
  ]
  symbolKind: TOP_LEVEL
  typeParameters: []
  visibility: Public
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null