private TaintVec zip(TaintVec that, BinaryOperator<TaintSet> op) {
		final int length = this.sets.length;
		if (length != that.sets.length) {
			throw new IllegalArgumentException("TaintVecs must match in length");
		}
		TaintVec vec = new TaintVec(length);
		for (int i = 0; i < length; i++) {
			vec.sets[i] = op.apply(this.sets[i], that.sets[i]);
		}
		return vec;
	}
Perform an operation on each same-indexed element from this and another vector, forming a
third result vector

<p>
In essence return, a vector where {@code result[n] = this[n] op that[n]}. The two input
vectors must match in length.

@param that the other vector
@param op the operation to apply
@return the result
Ghidra/Debug/TaintAnalysis/src/main/java/ghidra/taint/model/TaintVec.java