docs: public int[] getValue() {
          int[] valueDestination = new int[size()];
          for (int i = 0; i < size(); i++) {
              valueDestination[i] = value.get(i);
          }
          return valueDestination;
      }