// CHECK:
//   Mangled name: Base
//   Public signature: /Base|null[0]
open class Base {
  // CHECK:
  //   Mangled name: Base{}x
  //   Public signature: /Base.x|-8060530855978347579[0]
  //   Public signature debug description: {}x
  val x: Int
    // CHECK JVM_IR:
    //   Mangled name: Base#<get-x>(){}kotlin.Int
    //   Public signature: /Base.x.<get-x>|4966956098150895696[0]
    //   Public signature debug description: <get-x>(){}kotlin.Int
    // CHECK JS_IR NATIVE:
    //   Mangled name: Base#<get-x>(){}
    //   Public signature: /Base.x.<get-x>|1482705010654679335[0]
    //   Public signature debug description: <get-x>(){}
    get

  // CHECK:
  //   Mangled name: Base{}y
  //   Public signature: /Base.y|3625903257357557171[0]
  //   Public signature debug description: {}y
  val y: Int
    // CHECK JVM_IR:
    //   Mangled name: Base#<get-y>(){}kotlin.Int
    //   Public signature: /Base.y.<get-y>|-6745575372101973707[0]
    //   Public signature debug description: <get-y>(){}kotlin.Int
    // CHECK JS_IR NATIVE:
    //   Mangled name: Base#<get-y>(){}
    //   Public signature: /Base.y.<get-y>|-7902422373892128922[0]
    //   Public signature debug description: <get-y>(){}
    get

  // CHECK:
  //   Mangled name: Base#<init>(kotlin.Int;kotlin.Int){}
  //   Public signature: /Base.<init>|-7691762014320324121[0]
  //   Public signature debug description: <init>(kotlin.Int;kotlin.Int){}
  constructor(x: Int, y: Int) /* primary */

}

// CHECK:
//   Mangled name: Test1
//   Public signature: /Test1|null[0]
class Test1 : Base {
  // CHECK:
  //   Mangled name: Test1#<init>(kotlin.Int;kotlin.Int){}
  //   Public signature: /Test1.<init>|-7691762014320324121[0]
  //   Public signature debug description: <init>(kotlin.Int;kotlin.Int){}
  constructor(xx: Int, yy: Int) /* primary */

  // CHECK:
  //   Mangled name: Test1{}x
  //   Public signature: /Test1.x|-8060530855978347579[0]
  //   Public signature debug description: {}x
  /* fake */ override val x: Int
    // CHECK JVM_IR:
    //   Mangled name: Test1#<get-x>(){}kotlin.Int
    //   Public signature: /Test1.x.<get-x>|4966956098150895696[0]
    //   Public signature debug description: <get-x>(){}kotlin.Int
    // CHECK JS_IR NATIVE:
    //   Mangled name: Test1#<get-x>(){}
    //   Public signature: /Test1.x.<get-x>|1482705010654679335[0]
    //   Public signature debug description: <get-x>(){}
    /* fake */ override get(): Int

  // CHECK:
  //   Mangled name: Test1{}y
  //   Public signature: /Test1.y|3625903257357557171[0]
  //   Public signature debug description: {}y
  /* fake */ override val y: Int
    // CHECK JVM_IR:
    //   Mangled name: Test1#<get-y>(){}kotlin.Int
    //   Public signature: /Test1.y.<get-y>|-6745575372101973707[0]
    //   Public signature debug description: <get-y>(){}kotlin.Int
    // CHECK JS_IR NATIVE:
    //   Mangled name: Test1#<get-y>(){}
    //   Public signature: /Test1.y.<get-y>|-7902422373892128922[0]
    //   Public signature debug description: <get-y>(){}
    /* fake */ override get(): Int

}

// CHECK:
//   Mangled name: Test2
//   Public signature: /Test2|null[0]
class Test2 : Base {
  // CHECK:
  //   Mangled name: Test2#<init>(kotlin.Int;kotlin.Int){}
  //   Public signature: /Test2.<init>|-7691762014320324121[0]
  //   Public signature debug description: <init>(kotlin.Int;kotlin.Int){}
  constructor(xx: Int, yy: Int)

  // CHECK:
  //   Mangled name: Test2#<init>(kotlin.Int;kotlin.Int;kotlin.Any){}
  //   Public signature: /Test2.<init>|-2775945437722696135[0]
  //   Public signature debug description: <init>(kotlin.Int;kotlin.Int;kotlin.Any){}
  constructor(xxx: Int, yyy: Int, a: Any)

  // CHECK:
  //   Mangled name: Test2{}x
  //   Public signature: /Test2.x|-8060530855978347579[0]
  //   Public signature debug description: {}x
  /* fake */ override val x: Int
    // CHECK JVM_IR:
    //   Mangled name: Test2#<get-x>(){}kotlin.Int
    //   Public signature: /Test2.x.<get-x>|4966956098150895696[0]
    //   Public signature debug description: <get-x>(){}kotlin.Int
    // CHECK JS_IR NATIVE:
    //   Mangled name: Test2#<get-x>(){}
    //   Public signature: /Test2.x.<get-x>|1482705010654679335[0]
    //   Public signature debug description: <get-x>(){}
    /* fake */ override get(): Int

  // CHECK:
  //   Mangled name: Test2{}y
  //   Public signature: /Test2.y|3625903257357557171[0]
  //   Public signature debug description: {}y
  /* fake */ override val y: Int
    // CHECK JVM_IR:
    //   Mangled name: Test2#<get-y>(){}kotlin.Int
    //   Public signature: /Test2.y.<get-y>|-6745575372101973707[0]
    //   Public signature debug description: <get-y>(){}kotlin.Int
    // CHECK JS_IR NATIVE:
    //   Mangled name: Test2#<get-y>(){}
    //   Public signature: /Test2.y.<get-y>|-7902422373892128922[0]
    //   Public signature debug description: <get-y>(){}
    /* fake */ override get(): Int

}