index = 0;     
        while (index < array.length()) {
          process element array[index];
          index += 1;
        }