public static TaintVec array(String name, long start, int size) {
		return new TaintVec(size).setArray(name, start);
	}
Create a taint vector representing a new tainted byte array, where each element is given a
distinct name

<p>
For example, the parameters {@code ("arr", 0, 4)} will produce the vector
"{@code [arr_0][arr_1][arr_2][arr_3]}". Each element is a singleton set containing the mark
for a byte in the tainted array.

@param name the base for naming each element
@param start the starting index for naming each element
@param size the number of bytes, i.e., the length of the vector
@return the new vector
Ghidra/Debug/TaintAnalysis/src/main/java/ghidra/taint/model/TaintVec.java