public void encode(Encoder encoder) throws IOException {
		encoder.openElement(ELEM_SEQNUM);
		AddressSpace space = pc.getAddressSpace();
		encoder.writeSpace(ATTRIB_SPACE, space);
		encoder.writeUnsignedInteger(ATTRIB_OFFSET, pc.getOffset());
		if (uniq != -1) {
			encoder.writeUnsignedInteger(ATTRIB_UNIQ, uniq);
		}
		encoder.closeElement(ELEM_SEQNUM);
	}
Encode this sequence number to the stream
@param encoder is the stream encoder
@throws IOException for errors in the underlying stream
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/model/pcode/SequenceNumber.java