// DO_NOT_CHECK_NON_PSI_SYMBOL_RESTORE_K1
class Foo {
    constructor(vararg ints: Int)
}