Mutex for debugging deadlocks