/**
* Utility to display a vec on debug
*
* @param vec the vector to convert
* @return a representative string
*/
public static String toString(VectorOfInt vec) {
int len = vec.size();
int[] copy = new int[len];
IntBuffer.wrap(copy).put(vec.asByteBuffer(0, len).asIntBuffer());
return Arrays.toString(copy);
}
