public void encode(Encoder encoder) throws IOException {
		encoder.openElement(ELEM_ADDR);
		encoder.writeSpace(ATTRIB_SPACE, space);
		encoder.writeUnsignedInteger(ATTRIB_OFFSET, offset);
		encoder.writeSignedInteger(ATTRIB_SIZE, size);
		encoder.closeElement(ELEM_ADDR);
	}
Encode the data to stream as an {@code <addr>} element
@param encoder is the stream encoder
@throws IOException for errors writing to the underlying stream
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/app/plugin/processors/sleigh/VarnodeData.java