public static void encodeAttributes(Encoder encoder, Address addr, int size)
			throws IOException {
		AddressSpace space = addr.getAddressSpace();

		encoder.writeSpace(ATTRIB_SPACE, space);
		encoder.writeUnsignedInteger(ATTRIB_OFFSET, addr.getUnsignedOffset());
		encoder.writeSignedInteger(ATTRIB_SIZE, size);
	}
Encode "space" "offset" and "size" attributes for the current element, describing
the given memory range to the stream.
@param encoder is the stream encoder
@param addr is the starting Address of the memory range
@param size is the size of the memory range
@throws IOException for errors in the underlying stream
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/model/pcode/AddressXML.java