994 Mutex MU2;   variable
1001   MU2.Lock();   in Worker()
1003   ANNOTATE_CONDVAR_SIGNAL(&MU2);  in Worker()
1004   MU2.Await(Condition(&ArgIsZero, &COND));  in Worker()
1005   MU2.Unlock();  in Worker()
1028 Mutex MU2;   variable
1035   MU2.Lock();   in Worker()
1037   ANNOTATE_CONDVAR_SIGNAL(&MU2);  in Worker()
1038   MU2.Await(Condition(&ArgIsZero, &COND));  in Worker()
1039   MU2.Unlock();  in Worker()
1933 Mutex   MU, MU1, MU2;   variable
1944   MU2.Lock();  in Putter()
1946   MU2.Unlock();  in Putter()
1959   MU2.Lock();  in Getter()
1961   MU2.Unlock();  in Getter()
2039 Mutex   MU, MU1, MU2;   variable
2051   MU2.Lock();  in Putter()
2053   MU2.Unlock();  in Putter()
2065   MU2.Lock();  in Getter()
2067   MU2.Unlock();  in Getter()
2664 Mutex   MU1, MU2;   variable
2683   MU2.Lock();  in User()
2686   MU2.Unlock();  in User()
2708 Mutex   MU1, MU2;   variable
2729   MU2.Lock();  in User()
2732   MU2.Unlock();  in User()
4447 Mutex   MU, MU1, MU2;   variable
4465       MU2.Lock();  in Accessor()
4468       MU2.Unlock();  in Accessor()
4510 Mutex   MU, MU1, MU2;   variable
4529       MU2.Lock();  in Accessor()
4532       MU2.Unlock();  in Accessor()
4584 Mutex MU, MU2;  variable
4601   MU2.Lock();  in Thr2()
4604   MU2.Unlock();  in Thr2()
4613   MU2.Lock();  in Thr4()
4615     CV2.Wait(&MU2);  in Thr4()
4616   MU2.Unlock();  in Thr4()
4637 Mutex MU, MU2;  variable
4654   MU2.Lock();  in Thr2()
4657   MU2.Unlock();  in Thr2()
4666   MU2.Lock();  in Thr4()
4668     CV2.Wait(&MU2);  in Thr4()
4669   MU2.Unlock();  in Thr4()
6726 Mutex MU2;  variable
6736         MU2.Lock(); CHECK(GLOB >= 0); MU2.Unlock();  in Worker()
6839 Mutex MU2;  variable
6840 void Worker1() { MU1.Lock(); MU2.Lock(); GLOB=1; MU2.Unlock(); MU1.Unlock(); }  in Worker1()
6842 void Worker3() { MU1.Lock(); MU2.Lock(); GLOB=3; MU2.Unlock(); MU1.Unlock(); }  in Worker3()
6843 void Worker4() {             MU2.Lock(); GLOB=4; MU2.Unlock();               }  in Worker4()
6865 Mutex MU2;  variable
6866 void Worker1() { MU1.Lock(); MU2.Lock(); GLOB=1; MU2.Unlock(); MU1.Unlock(); }  in Worker1()
6867 void Worker2() { MU1.Lock(); MU2.Lock(); GLOB=3; MU2.Unlock(); MU1.Unlock(); }  in Worker2()