// CHECK:
//   Mangled name: {}ok
//   Public signature: /ok|3084714860561867417[0]
//   Public signature debug description: {}ok
val ok: String
  // CHECK JVM_IR:
  //   Mangled name: #<get-ok>(){}kotlin.String
  //   Public signature: /ok.<get-ok>|-4000622060828023401[0]
  //   Public signature debug description: <get-ok>(){}kotlin.String
  // CHECK JS_IR NATIVE:
  //   Mangled name: #<get-ok>(){}
  //   Public signature: /ok.<get-ok>|6963158084917262476[0]
  //   Public signature debug description: <get-ok>(){}
  get

// CHECK:
//   Mangled name: {}ok2
//   Public signature: /ok2|8310337683510143427[0]
//   Public signature debug description: {}ok2
val ok2: String
  // CHECK JVM_IR:
  //   Mangled name: #<get-ok2>(){}kotlin.String
  //   Public signature: /ok2.<get-ok2>|-1465577528977290579[0]
  //   Public signature debug description: <get-ok2>(){}kotlin.String
  // CHECK JS_IR NATIVE:
  //   Mangled name: #<get-ok2>(){}
  //   Public signature: /ok2.<get-ok2>|7829439004828667170[0]
  //   Public signature debug description: <get-ok2>(){}
  get

// CHECK JVM_IR:
//   Mangled name: #test1(){}kotlin.String
//   Public signature: /test1|5794939649815924341[0]
//   Public signature debug description: test1(){}kotlin.String
// CHECK JS_IR NATIVE:
//   Mangled name: #test1(){}
//   Public signature: /test1|4297044443957252634[0]
//   Public signature debug description: test1(){}
fun test1(): String

// CHECK JVM_IR:
//   Mangled name: #test2(kotlin.String){}kotlin.String
//   Public signature: /test2|-9053313790968627079[0]
//   Public signature debug description: test2(kotlin.String){}kotlin.String
// CHECK JS_IR NATIVE:
//   Mangled name: #test2(kotlin.String){}
//   Public signature: /test2|8672709278877196328[0]
//   Public signature debug description: test2(kotlin.String){}
fun test2(x: String): String

// CHECK JVM_IR:
//   Mangled name: #test3(){}kotlin.String
//   Public signature: /test3|3344305992477585251[0]
//   Public signature debug description: test3(){}kotlin.String
// CHECK JS_IR NATIVE:
//   Mangled name: #test3(){}
//   Public signature: /test3|-3759735065270951803[0]
//   Public signature debug description: test3(){}
fun test3(): String

// CHECK JVM_IR:
//   Mangled name: #test4(){}kotlin.String
//   Public signature: /test4|4822743421999784081[0]
//   Public signature debug description: test4(){}kotlin.String
// CHECK JS_IR NATIVE:
//   Mangled name: #test4(){}
//   Public signature: /test4|5588455914500386239[0]
//   Public signature debug description: test4(){}
fun test4(): String

// CHECK JVM_IR:
//   Mangled name: #test5@kotlin.String(){}kotlin.String
//   Public signature: /test5|7396849134865790053[0]
//   Public signature debug description: test5@kotlin.String(){}kotlin.String
// CHECK JS_IR NATIVE:
//   Mangled name: #test5@kotlin.String(){}
//   Public signature: /test5|6764932899271361379[0]
//   Public signature debug description: test5@kotlin.String(){}
fun String.test5(): String

// CHECK:
//   Mangled name: {}ok3
//   Public signature: /ok3|5885848835307275738[0]
//   Public signature debug description: {}ok3
val ok3: String
  // CHECK JVM_IR:
  //   Mangled name: #<get-ok3>(){}kotlin.String
  //   Public signature: /ok3.<get-ok3>|-2021208757621779282[0]
  //   Public signature debug description: <get-ok3>(){}kotlin.String
  // CHECK JS_IR NATIVE:
  //   Mangled name: #<get-ok3>(){}
  //   Public signature: /ok3.<get-ok3>|-6867262654716867671[0]
  //   Public signature debug description: <get-ok3>(){}
  get(): String

// CHECK:
//   Mangled name: @kotlin.String{}okext
//   Public signature: /okext|-7546376167507800782[0]
//   Public signature debug description: @kotlin.String{}okext
val String.okext: String
  // CHECK JVM_IR:
  //   Mangled name: #<get-okext>@kotlin.String(){}kotlin.String
  //   Public signature: /okext.<get-okext>|-4397362169527603922[0]
  //   Public signature debug description: <get-okext>@kotlin.String(){}kotlin.String
  // CHECK JS_IR NATIVE:
  //   Mangled name: #<get-okext>@kotlin.String(){}
  //   Public signature: /okext.<get-okext>|-5103161093403962760[0]
  //   Public signature debug description: <get-okext>@kotlin.String(){}
  get(): String

