1685 static int ARR[N];  variable
1697         CHECK(ARR[i] == 0);  in Worker()
1724          GLOB, ARR[1], ARR[7], ARR[N-1]);  in Run()
1737 static int ARR[N];  variable
1744       CHECK(ARR[i] == 0);  in Worker()
1776 int **ARR;   variable
1782     CHECK(777 == *ARR[i]);  in Worker()
1789   ARR = new int *[N_free];  in Run()
1797     ARR[i] = new int(777);  in Run()
1806   for (int i = 0; i < N_free; i++) delete ARR[i];  in Run()
1807   delete [] ARR;  in Run()