Reads int elements into a specified array. @param v the array. @param k the index of the first element to read. @param n the number of elements to read.
(int[] v, int k, int n)
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected