add debugging for mutexes