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