@Override
    protected void restoreProperty(ObjectInputStream ois, long index) throws IOException{
		putInt(index, ois.readInt());
	}
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