context(kotlin.Int, s@kotlin.String)
class A {
  constructor(int: kotlin.Int)
}
