2832 int     GLOB1 = 1;  variable
2851   FLAG2=GLOB1;  in Worker1()
2855   GLOB1=FLAG1;  in Worker1()
2863   printf("\tGLOB1=%d\n", GLOB1);  in Run()
2875 int     GLOB1 = 1;  variable
2890   FLAG2=GLOB1;  in Worker1()
2894   GLOB1=FLAG1;  in Worker1()
2904   printf("\tGLOB1=%d\n", GLOB1);  in Run()
2915 int     GLOB1 = 1;  variable
2940   FLAG2=GLOB1;  in Worker1()
2953   GLOB1=FLAG1;  in Worker1()
2961   printf("\tGLOB1=%d\n", GLOB1);  in Run()
3175 int     GLOB1 = 0;  variable
3182   GLOB1 = 1;  in Signaller1()
3203   GLOB1 = 2;  in Waiter1()
3219   printf("\tGLOB=%d/%d\n", GLOB1, GLOB2);  in Run()
6496 int GLOB1 = 0,  variable
6503   GLOB1 = 1;  // Write  in Waker1()
6517   GLOB1 = 2;  // Write  in Waiter1()
6540   FAST_MODE_INIT(&GLOB1);  in Run()