128 int     COND = 0;  variable
380   COND = 1;  in Waker()
388   COND = 0;  in Waiter()
391   while(COND != 1)  in Waiter()
428   COND = 1; // We are done! Tell the Waiter.   in Waker()
434   COND = 0;  in Waiter()
436   MU.LockWhen(Condition(&ArgIsOne, &COND));  // calls ANNOTATE_CONDVAR_WAIT  in Waiter()
508   COND = 1;  in Waker()
516   COND = 0;  in Waiter()
520   while(COND != 1)  in Waiter()
560   COND = 1;  in Waker()
568   COND = 0;  in Waiter()
572   while(COND != 1)  in Waiter()
591 bool    COND = 0;  variable
611   COND = true; // We are done! Tell the Waiter.   in Signaller()
615   COND = false;  in Waiter()
620   MU.LockWhen(Condition(&ArgIsTrue, &COND));  // calls ANNOTATE_CONDVAR_WAIT  in Waiter()
750   COND++;  in Worker()
756   COND = 0;  in Parent()
762   while(COND != 2) {  in Parent()
855   COND = 1;  in Waker()
865   MU.LockWhen(Condition(&ArgIsOne, &COND));  in Waiter()
873   COND = 0;  in Run()
943   COND = 1;  in Waker()
949   MU.LockWhen(Condition(&ArgIsOne, &COND));  in Waiter()
956   COND = 0;  in Run()
998   COND--;  in Worker()
1000   MU2.Await(Condition(&ArgIsZero, &COND));  in Worker()
1008   COND = 2;  in Run()
1032   COND--;  in Worker()
1034   MU2.Await(Condition(&ArgIsZero, &COND));  in Worker()
1042   COND = 3;  in Run()
1064   COND = 1; // We are done! Tell the Waiter.   in Waker()
1070   COND = 0;  in Waiter()
1074   MU.Await(Condition(&ArgIsOne, &COND));  // calls ANNOTATE_CONDVAR_WAIT  in Waiter()
1097   COND = 1; // We are done! Tell the Waiter.   in Waker()
1103   COND = 0;  in Waiter()
1107   CHECK(MU.AwaitWithTimeout(Condition(&ArgIsOne, &COND), INT_MAX));  in Waiter()
1132   COND = 0;  in Waiter()
1136   CHECK(!MU.AwaitWithTimeout(Condition(&ArgIsOne, &COND), 100));  in Waiter()
1163   COND = 0;  in Waiter()
1166   CHECK(!MU.LockWhenWithTimeout(Condition(&ArgIsOne, &COND), 100));  in Waiter()
1193   COND = 0;  in Waiter()
1199   while(COND != 1 && ms_left_to_wait > 0) {  in Waiter()
1291   COND = 1; // We are done! Tell the Waiter.   in Waker()
1297   COND = 0;  in Waiter()
1299   MU.ReaderLockWhen(Condition(&ArgIsOne, &COND));  in Waiter()
1324   COND = 1; // We are done! Tell the Waiter.   in Waker()
1330   COND = 0;  in Waiter()
1332   CHECK(MU.ReaderLockWhenWithTimeout(Condition(&ArgIsOne, &COND), INT_MAX));  in Waiter()
1358   COND = 0;  in Waiter()
1360   CHECK(!MU.ReaderLockWhenWithTimeout(Condition(&ArgIsOne, &COND), 100));  in Waiter()
2101 int COND = 0;  variable
2109   COND = 1;  in Worker1()
2114   while (COND != 0)   in Worker1()
2126   while (COND != 1)   in Worker2()
2134   COND = 0;  in Worker2()
2454   COND = 1;  in Waker()
2467   COND = 0;  in Waiter()
2471   while(COND != 1)  in Waiter()
2492 int     COND = 0;  variable
2525   COND = 1;  in Waker()
2534   COND = 1;  in Waker()
2546   while(COND != 1)  in Waiter()
2567 int     COND = 0;  variable
2596   COND = 1;  in Waker()
2605   COND = 1;  in Waker()
2618   while(COND != 1)  in Waiter()
3289 int     COND = 0;  variable
3302   COND++;  in Writer()
3313     if (COND == N_writers)  in Reader()
3341 int     COND = 0;  variable
3355   COND++;  in Writer()
3368     if (COND == N_writers)  in Reader()
4578 int COND  = 0;  variable
4589   COND = 1;  in Thr1()
4604   while(COND != 1)  in Thr3()
4631 int COND  = 0;  variable
4643   COND = 1;  in Thr1()
4657   while(COND != 1)  in Thr3()
5320 bool COND = false;  variable
5337   mu.LockWhen(Condition(&ArgIsTrue, &COND));  in f1()
5359   COND = true;  in Worker2()