@Override
	public void encode(Encoder encoder) throws IOException {
		encoder.openElement(ELEM_FUNCTION);
		encoder.writeUnsignedInteger(ATTRIB_ID, getId());
		encoder.writeString(ATTRIB_NAME, name);
		String altName = dtmanage.getNameTransformer().simplify(name);
		if (!name.equals(altName)) {
			encoder.writeString(ATTRIB_LABEL, altName);
		}
		encoder.writeSignedInteger(ATTRIB_SIZE, 1);
		AddressXML.encode(encoder, getStorage().getMinAddress());
		encoder.closeElement(ELEM_FUNCTION);
	}
Construct the function shell given a name and address
@param id is an id to associate with the new symbol
@param nm is the given name
@param addr is the given address
@param manage is PcodeDataTypeManager to facilitate XML marshaling
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/model/pcode/HighFunctionShellSymbol.java