Add __rand_vector for generating random integer array