@Override
	public PcodeExecutorState<Pair<byte[], TaintVec>> createLocalState(
			AuxPcodeEmulator<TaintVec> emulator, PcodeThread<Pair<byte[], TaintVec>> thread,
			BytesPcodeExecutorStatePiece concrete) {
		return new TaintPcodeExecutorState(emulator.getLanguage(), concrete);
	}
{@inheritDoc}

<p>
To track what variables in the machine state are tainted, we need a taint state. We construct
the part for a thread's registers and temporary (unique) variables here.
Ghidra/Debug/TaintAnalysis/src/main/java/ghidra/pcode/emu/taint/TaintPartsFactory.java