docs: private int getIntKeyForString(ArrayList<String> uniqueStrings, Object value) {
      String stringValue = String.valueOf(value);
      int retval = uniqueStrings.indexOf(stringValue);
      if (retval < 0) {
        retval = uniqueStrings.size();
        uniqueStrings.add(stringValue);
      }
      return retval;
    }