private void encodeVarnodes(Encoder encoder, Varnode[] varnodes) throws IOException {
		for (Varnode vn : varnodes) {
			encoder.openElement(ELEM_VARNODE);
			AddressXML.encodeAttributes(encoder, vn.getAddress(), vn.getSize());
			encoder.closeElement(ELEM_VARNODE);
		}
	}
Encode this object to an output stream
@param encoder is the stream encoder
@param injectLibrary is a library containing any inject payloads associated with the model
@throws IOException for errors writing to the underlying stream
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/model/lang/PrototypeModel.java