2105 void Worker1() {  in Worker1()  function
2850 void Worker1() {  in Worker1()  function
2889 void Worker1() {  in Worker1()  function
2939 void Worker1() {  in Worker1()  function
3850 void Worker1() {  in Worker1()  function
4863 void Worker1() {  in Worker1()  function
5093 void Worker1() {  in Worker1()  function
5350 void Worker1() {  in Worker1()  function
5658 void Worker1() {  in Worker1()  function
5736 void Worker1() { UseMe(); }  in Worker1()  function
6150 void Worker1() { sleep(1); Worker(); }  in Worker1()  function
6181 void Worker1() { sleep(1); Worker(); }  in Worker1()  function
6404 void Worker1() {  in Worker1()  function
6765 void Worker1() { CHECK(GLOB >= 0); }  in Worker1()  function
6785 void Worker1() {  in Worker1()  function
6836 void Worker1() { MU1.Lock(); MU2.Lock(); GLOB=1; MU2.Unlock(); MU1.Unlock(); }  in Worker1()  function
6862 void Worker1() { MU1.Lock(); MU2.Lock(); GLOB=1; MU2.Unlock(); MU1.Unlock(); }  in Worker1()  function
6901 void Worker1() { FunctionWithControlFlow(); }  in Worker1()  function
6944 void Worker1() { UseMe(); }  in Worker1()  function
6963 void Worker1() {   in Worker1()  function