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