// DO_NOT_CHECK_NON_PSI_SYMBOL_RESTORE_K1
context(Int, s@String)
fun y(){}