@Override
	public void encode(Encoder encoder) throws IOException {
		encoder.openElement(ELEM_FACETSYMBOL);
		encodeHeader(encoder);
		encoder.writeSignedInteger(ATTRIB_FIELD, fieldNumber);
		dtmanage.encodeTypeRef(encoder, type, getSize());
		encoder.closeElement(ELEM_FACETSYMBOL);
	}
A specialized HighSymbol that directs the decompiler to use a specific field of a union,
when interpreting a particular PcodeOp that accesses a Varnode whose data-type involves the
union. The symbol is stored as a dynamic variable annotation.  The data-type must either be the
union itself or a pointer to the union. The firstUseOffset and dynamic hash
identify the particular PcodeOp and Varnode affected.  The field number is the ordinal
of the desired field (DataTypeComponent) within the union.  It is currently stored by
encoding it in the symbol name.
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/model/pcode/UnionFacetSymbol.java