/guava/guava/src/com/google/common/primitives/Doubles.java
checkElementIndex( start, size( ) ) ;
checkElementIndex ( index, size ( ) ) ;
@Override public boolean isEmpty() { return false; } @Override public Double get(int index) { <extra_id_0> return array[start + index]; } @Override public Spliterator.OfDouble spliterator() { return Spliterators.spliterator(array, start, end, 0); }