2836 int     GLOB1 = 1;  variable
2855   FLAG2=GLOB1;  in Worker1()
2859   GLOB1=FLAG1;  in Worker1()
2867   printf("\tGLOB1=%d\n", GLOB1);  in Run()
2879 int     GLOB1 = 1;  variable
2894   FLAG2=GLOB1;  in Worker1()
2898   GLOB1=FLAG1;  in Worker1()
2908   printf("\tGLOB1=%d\n", GLOB1);  in Run()
2919 int     GLOB1 = 1;  variable
2944   FLAG2=GLOB1;  in Worker1()
2957   GLOB1=FLAG1;  in Worker1()
2965   printf("\tGLOB1=%d\n", GLOB1);  in Run()
3179 int     GLOB1 = 0;  variable
3186   GLOB1 = 1;  in Signaller1()
3207   GLOB1 = 2;  in Waiter1()
3223   printf("\tGLOB=%d/%d\n", GLOB1, GLOB2);  in Run()
6500 int GLOB1 = 0,  variable
6507   GLOB1 = 1;  // Write  in Waker1()
6521   GLOB1 = 2;  // Write  in Waiter1()
6544   FAST_MODE_INIT(&GLOB1);  in Run()