Symbol: print_unlock_imbalance_bug