@Override
    protected void saveProperty(ObjectOutputStream oos, long index) throws IOException {
		try {
			oos.writeInt(getInt(index));
		}
        catch(NoValueException e) {
            throw new AssertException(e.getMessage());
        }
	}
Retrieves the int value stored at the given index.
@param index the index at which to retrieve the int value.
@return int the value stored at the given index.
@throws NoValueException if there is no int value stored at the index.
Ghidra/Framework/Generic/src/main/java/ghidra/util/map/IntValueMap.java