// DO_NOT_CHECK_NON_PSI_SYMBOL_RESTORE_K1
fun x(): Int = 10
fun y() {}