After the fixed cookie lock deadlock, this test now passes and it detects double-locking and double-unlocking of mutexes.