public void saveProperties(ObjectOutputStream oos, long start, long end)
			throws IOException {

		oos.writeLong(start);
		oos.writeLong(end);
		if (hasProperty(start)) {
			oos.writeByte(1);
			oos.writeLong(start);
			saveProperty(oos, start);
		}
		try {
			long index = start;
			while ((index = getNextPropertyIndex(index)) <= end) {
				oos.writeByte(1);
				oos.writeLong(index);
				saveProperty(oos, index);
			}
		}
		catch (NoSuchIndexException e) {
		}
		oos.writeByte(0);
	}
Saves all property values between start and end to the output stream
@param oos the output stream
@param start the first index in the range to save.
@param end the last index in the range to save.
@throws IOException if an I/O error occurs on the write.
Ghidra/Framework/Generic/src/main/java/ghidra/util/map/ValueMap.java