@Override
	public void writeDown(PcodeTraceDataAccess into) {
		PcodeTracePropertyAccess<String> property = into.getPropertyAccess(NAME, String.class);
		for (TaintTraceSpace space : spaceMap.values()) {
			space.writeDown(property);
		}
	}
{@inheritDoc}

<p>
This does the inverse of the lazy loading. Serialize the state and store it back into the
trace. Technically, it could be a different trace, but it must have identically-named
threads.
Ghidra/Debug/TaintAnalysis/src/main/java/ghidra/pcode/emu/taint/trace/TaintTracePcodeExecutorStatePiece.java