2878 int     COND2 = 0;  variable
2887   ANNOTATE_CONDVAR_SIGNAL(&COND2);  in Worker2()
2897   ANNOTATE_CONDVAR_WAIT(&COND2);  in Worker1()
2918 int     COND2 = 0;  variable
2935   while(COND2 != 1)  in Worker2()
2947   COND2 = 1;  in Worker1()
4583 int COND2 = 0;  variable
4602   COND2 = 1;  in Thr2()
4614   while(COND2 != 1)  in Thr4()
4636 int COND2 = 0;  variable
4655   COND2 = 1;  in Thr2()
4667   while(COND2 != 1)  in Thr4()