@Override
	public void encode(Encoder encoder) throws IOException {
		encoder.openElement(ELEM_EXTRA_STACK);
		encoder.closeElement(ELEM_EXTRA_STACK);
	}
Constructor for use with restoreXml
@param res is the resource list
@param val is a dummy variable
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/model/lang/protorules/ExtraStack.java