ObjectWithSpecialField (ReferenceType type, int size) { PrimitiveConstant length = new PrimitiveConstant(DfTypes.intValue(size)); return new ObjectWithSpecialField(type, SpecialField.COLLECTION_SIZE, length); }