fun destruct(): kotlin.Int

data class P(x: kotlin.Int, y: kotlin.Int) {
  val x: kotlin.Int

  val y: kotlin.Int
}