{
                    int [] oldPositions = positions;
                    positions = new int [2 * positions.length];
                    System.arraycopy(oldPositions, 0, positions, 0, count);
                  }