default void writeDown(TracePlatform platform, long destSnap, long threadsSnap) {
		writeDown(new DefaultPcodeTraceAccess(platform, destSnap, threadsSnap));
	}
@see #writeDown(PcodeTraceAccess)
@param platform the platform whose trace to modify
@param destSnap the destination snap within the trace
@param threadsSnap the snap at which to find corresponding threads
Ghidra/Debug/Framework-TraceModeling/src/main/java/ghidra/pcode/exec/trace/TracePcodeMachine.java