public static void encodeAttributes(Encoder encoder, Address addr) throws IOException {
		AddressSpace space = addr.getAddressSpace();
		encoder.writeSpace(ATTRIB_SPACE, space);
		encoder.writeUnsignedInteger(ATTRIB_OFFSET, addr.getUnsignedOffset());
	}
Encode "space" and "offset" attributes for the current element, describing the
given Address to the stream.
@param encoder is the stream encoder
@param addr is the given Address
@throws IOException for errors in the underlying stream
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/model/pcode/AddressXML.java