public static void encode(Encoder encoder, Address addr, int size) throws IOException {
		encoder.openElement(ELEM_ADDR);
		encodeAttributes(encoder, addr, size);
		encoder.closeElement(ELEM_ADDR);
	}
Encode the given Address and a size as an {@code <addr>} element to the stream

@param encoder is the stream encoder
@param addr is the given Address
@param size is the given size
@throws IOException for errors in the underlying stream
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/model/pcode/AddressXML.java