2109 void Worker1() {  in Worker1()  function
2854 void Worker1() {  in Worker1()  function
2893 void Worker1() {  in Worker1()  function
2943 void Worker1() {  in Worker1()  function
3854 void Worker1() {  in Worker1()  function
4867 void Worker1() {  in Worker1()  function
5097 void Worker1() {  in Worker1()  function
5354 void Worker1() {  in Worker1()  function
5662 void Worker1() {  in Worker1()  function
5740 void Worker1() { UseMe(); }  in Worker1()  function
6154 void Worker1() { sleep(1); Worker(); }  in Worker1()  function
6185 void Worker1() { sleep(1); Worker(); }  in Worker1()  function
6408 void Worker1() {  in Worker1()  function
6769 void Worker1() { CHECK(GLOB >= 0); }  in Worker1()  function
6789 void Worker1() {  in Worker1()  function
6840 void Worker1() { MU1.Lock(); MU2.Lock(); GLOB=1; MU2.Unlock(); MU1.Unlock(); }  in Worker1()  function
6866 void Worker1() { MU1.Lock(); MU2.Lock(); GLOB=1; MU2.Unlock(); MU1.Unlock(); }  in Worker1()  function
6905 void Worker1() { FunctionWithControlFlow(); }  in Worker1()  function
6948 void Worker1() { UseMe(); }  in Worker1()  function
6967 void Worker1() {   in Worker1()  function