// DO_NOT_CHECK_NON_PSI_SYMBOL_RESTORE_K1
class A {
  fun x(): Int
  fun y()
}