Symbol: print_lock_contention_bug