@PcodeUserop
	public Pair<byte[], TaintVec> taint_arr(Pair<byte[], TaintVec> in) {
		TaintVec taint = in.getRight();
		taint = taint.zipUnion(TaintVec.array(nextArrName(), 0, taint.length));
		return Pair.of(in.getLeft(), taint);
	}
Taint the given machine variable with an array of taint symbols

<p>
This generates a 0-up indexed sequence of taint symbols, unioning each with the corresponding
taint set of the input taint vector. For example, assuming an initial state with no taints,
the Sleigh code {@code RAX = taint_arr(RAX)} will cause RAX to be tainted as
[arr_0_0][arr_0_1]...[arr_0_7].

@param in
@return
Ghidra/Debug/TaintAnalysis/src/main/java/ghidra/pcode/emu/taint/TaintPcodeUseropLibrary.java