81         MU1.Lock(); CHECK(GLOB >= 0); MU1.Unlock();  in Worker()
85         MU2.Lock(); CHECK(GLOB >= 0); MU2.Unlock();  in Worker()
89         MU1.Lock(); CHECK(GLOB >= 0); MU1.Unlock();  in Worker()
93         MU1.Lock(); GLOB++; MU1.Unlock();  in Worker()
118 void Worker2() { MU.Lock(); GLOB=1;  MU.Unlock();}  in Worker2()
139   MU.Lock(); CHECK(STR->length() >= 4); MU.Unlock();  in Worker1()
149   MU.Lock(); CHECK(STR->length() >= 4); MU.Unlock();  in Worker3()
154   MU.Lock(); *STR += " + a very very long string"; MU.Unlock();  in Worker4()
186 void Worker1() { MU1.Lock(); MU2.Lock(); GLOB=1; MU2.Unlock(); MU1.Unlock(); }  in Worker1()
187 void Worker2() { MU1.Lock();             GLOB=2;               MU1.Unlock(); }  in Worker2()
188 void Worker3() { MU1.Lock(); MU2.Lock(); GLOB=3; MU2.Unlock(); MU1.Unlock(); }  in Worker3()
189 void Worker4() {             MU2.Lock(); GLOB=4; MU2.Unlock();               }  in Worker4()
211 void Worker1() { MU1.Lock(); MU2.Lock(); GLOB=1; MU2.Unlock(); MU1.Unlock(); }  in Worker1()
212 void Worker2() { MU1.Lock(); MU2.Lock(); GLOB=3; MU2.Unlock(); MU1.Unlock(); }  in Worker2()
282     lock.Unlock();  in InitMe()
575   mu.Unlock();  in Thread1()
585   mu.Unlock();  in Thread2()