// http://www.cs.nyu.edu/courses/summer07/G22.2110-001/hw07-java-intvector.txt
public class IntVector {
  private int[] data;

  public IntVector(int size) {
    this.data = new int[size];
  }

  public int get(int i) {
    return this.data[i];
  }

  public void set(int i, int x) {
    this.data[i] = x;
  }

  public int size() {
    return data.length;
  }

  public void resize(int size) {
    int[] t = new int[size];
    for (int i=0; i<size && i<data.length; i++)
      t[i] = data[i];
    data = t;
  }
}