return new ValueNumber(maxValueNumber++);
ValueNumber result = new ValueNumber(getNumValuesAllocated()); allocatedValueList.add(result); return result;
	public ValueNumber createFreshValue() {		return new ValueNumber(maxValueNumber++);	}