docs: protected Object[] cast(Collection values) {
          Object[] res = new Object[values.size()];
          int i = 0;
          for (Object value : values) {
              res[i++] = cast(value);
          }
          return res;
      }