code: public ValueNumber createFreshValue() {
          ValueNumber result = ValueNumber.createValueNumber(getNumValuesAllocated());
          allocatedValueList.add(result);
          return result;
      }
docs: Create a fresh (unique) value number.