output: #fixed code
                                  public int getQSize() {
          int res = 0;
          final Actor actors[] = this.actors;
          for (int i = 0; i < actors.length; i++) {
              Actor a = actors[i];
              res+=a.__mailbox.size();
              res+=a.__cbQueue.size();
          }
          return res;
      }
input: #vulnerable code 
                                  public int getQSize() {
          int res = 0;
          for (int i = 0; i < queues.length; i++) {
              Queue queue = queues[i];
              res+=queue.size();
          }
          for (int i = 0; i < queues.length; i++) {
              Queue queue = cbQueues[i];
              res+=queue.size();
          }
          return res;
      } 
                              #location 3 
                              #vulnerability type THREAD_SAFETY_VIOLATION