132 int     COND = 0;  variable
384   COND = 1;  in Waker()
392   COND = 0;  in Waiter()
395   while(COND != 1)  in Waiter()
432   COND = 1; // We are done! Tell the Waiter.   in Waker()
438   COND = 0;  in Waiter()
440   MU.LockWhen(Condition(&ArgIsOne, &COND));  // calls ANNOTATE_CONDVAR_WAIT  in Waiter()
512   COND = 1;  in Waker()
520   COND = 0;  in Waiter()
524   while(COND != 1)  in Waiter()
564   COND = 1;  in Waker()
572   COND = 0;  in Waiter()
576   while(COND != 1)  in Waiter()
595 bool    COND = 0;  variable
615   COND = true; // We are done! Tell the Waiter.   in Signaller()
619   COND = false;  in Waiter()
624   MU.LockWhen(Condition(&ArgIsTrue, &COND));  // calls ANNOTATE_CONDVAR_WAIT  in Waiter()
754   COND++;  in Worker()
760   COND = 0;  in Parent()
766   while(COND != 2) {  in Parent()
859   COND = 1;  in Waker()
869   MU.LockWhen(Condition(&ArgIsOne, &COND));  in Waiter()
877   COND = 0;  in Run()
947   COND = 1;  in Waker()
953   MU.LockWhen(Condition(&ArgIsOne, &COND));  in Waiter()
960   COND = 0;  in Run()
1002   COND--;  in Worker()
1004   MU2.Await(Condition(&ArgIsZero, &COND));  in Worker()
1012   COND = 2;  in Run()
1036   COND--;  in Worker()
1038   MU2.Await(Condition(&ArgIsZero, &COND));  in Worker()
1046   COND = 3;  in Run()
1068   COND = 1; // We are done! Tell the Waiter.   in Waker()
1074   COND = 0;  in Waiter()
1078   MU.Await(Condition(&ArgIsOne, &COND));  // calls ANNOTATE_CONDVAR_WAIT  in Waiter()
1101   COND = 1; // We are done! Tell the Waiter.   in Waker()
1107   COND = 0;  in Waiter()
1111   CHECK(MU.AwaitWithTimeout(Condition(&ArgIsOne, &COND), INT_MAX));  in Waiter()
1136   COND = 0;  in Waiter()
1140   CHECK(!MU.AwaitWithTimeout(Condition(&ArgIsOne, &COND), 100));  in Waiter()
1167   COND = 0;  in Waiter()
1170   CHECK(!MU.LockWhenWithTimeout(Condition(&ArgIsOne, &COND), 100));  in Waiter()
1197   COND = 0;  in Waiter()
1203   while(COND != 1 && ms_left_to_wait > 0) {  in Waiter()
1295   COND = 1; // We are done! Tell the Waiter.   in Waker()
1301   COND = 0;  in Waiter()
1303   MU.ReaderLockWhen(Condition(&ArgIsOne, &COND));  in Waiter()
1328   COND = 1; // We are done! Tell the Waiter.   in Waker()
1334   COND = 0;  in Waiter()
1336   CHECK(MU.ReaderLockWhenWithTimeout(Condition(&ArgIsOne, &COND), INT_MAX));  in Waiter()
1362   COND = 0;  in Waiter()
1364   CHECK(!MU.ReaderLockWhenWithTimeout(Condition(&ArgIsOne, &COND), 100));  in Waiter()
2105 int COND = 0;  variable
2113   COND = 1;  in Worker1()
2118   while (COND != 0)   in Worker1()
2130   while (COND != 1)   in Worker2()
2138   COND = 0;  in Worker2()
2458   COND = 1;  in Waker()
2471   COND = 0;  in Waiter()
2475   while(COND != 1)  in Waiter()
2496 int     COND = 0;  variable
2529   COND = 1;  in Waker()
2538   COND = 1;  in Waker()
2550   while(COND != 1)  in Waiter()
2571 int     COND = 0;  variable
2600   COND = 1;  in Waker()
2609   COND = 1;  in Waker()
2622   while(COND != 1)  in Waiter()
3293 int     COND = 0;  variable
3306   COND++;  in Writer()
3317     if (COND == N_writers)  in Reader()
3345 int     COND = 0;  variable
3359   COND++;  in Writer()
3372     if (COND == N_writers)  in Reader()
4582 int COND  = 0;  variable
4593   COND = 1;  in Thr1()
4608   while(COND != 1)  in Thr3()
4635 int COND  = 0;  variable
4647   COND = 1;  in Thr1()
4661   while(COND != 1)  in Thr3()
5324 bool COND = false;  variable
5341   mu.LockWhen(Condition(&ArgIsTrue, &COND));  in f1()
5363   COND = true;  in Worker2()