// CHECK:
//   Mangled name: Derived
//   Public signature: /Derived|null[0]
class Derived : Base {
  // CHECK:
  //   Mangled name: Derived#<init>(){}
  //   Public signature: /Derived.<init>|-5645683436151566731[0]
  //   Public signature debug description: <init>(){}
  constructor() /* primary */

  // CHECK:
  //   Mangled name: Derived#setValue(kotlin.Any){}
  //   Public signature: /Derived.setValue|6640123509702957343[0]
  //   Public signature debug description: setValue(kotlin.Any){}
  fun setValue(v: Any): Unit

}

