docs: public int getValueIndex(Object value) {
      if (!values.contains(value)) {
        throw new NoSuchElementException("Tried accessing nonexistent value \"" + value
            + "\" of variable " + name);
      }
      return values.getIndex(value);
    }