More debugging statements for Mutexes