TestMutex1 updated