@Override
	public byte[] toConcrete(TaintVec value, Purpose purpose) {
		throw new ConcretionError("Cannot make taint concrete", purpose);
	}
{@inheritDoc}

<p>
Taint vectors have no values. We're expect the taint arithmetic to be used as an auxiliary to
concrete bytes, so the paired arithmetic should always defer to its concrete element. Thus,
an {@link AssertionError} might also be fitting here, but we'll stick to convention, since
technically a user script could attempt to concretize taint.
Ghidra/Debug/TaintAnalysis/src/main/java/ghidra/pcode/emu/taint/TaintPcodeArithmetic.java