Printing extra lock counters in global_lock.h