fun String.test5(): String {
  return <get-okext>(/* <this> = <this> */)
}

val String.okext: String
  get(): String {
    return "OK"
  }

