work-in-progress for Vector.java