context(Int@kotlin.Int, s@kotlin.String)
fun y()
