---

ArrayOffset.java

package gov.nasa.arc.ase.jpf.jvm;

public class ArrayOffset {
  public int[] data;
  int offset;

  public ArrayOffset(int[] d) {
    data = d;
    offset = 0;
  }  
  public int get() {
    return data[offset++];
  }  
  public int peek() {
    return data[offset];
  }  
}

---