context(kotlin.Int, s@kotlin.String)
val y: kotlin.Int
  get()