DfType (DfaValue qualifier, DfaMemoryState memState, DfaValueFactory factory, SpecialField specialField) { DfaValue length = specialField.createValue(factory, qualifier); LongRangeSet range = DfIntType.extractRange(memState.getDfType(length)); return intRange(LongRangeSet.range(-1, range.max() - 1)); }