context(a@kotlin.Int, b@kotlin.String)
fun foo()