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