vector = v; i = 0;
synchronized (vector) { return i <= vector.lastElement; }
synchronized (vector) { if (i <= vector.lastElement) { return vector.data[i++]; } throw new NoSuchElementException("VectorEnumerator"); }