public interface ListOfInt {
    public int get(int i);          // get i-th integer (0-based)
    public void set(int i, int elem);   // set i-th element
    public int size();          // return length of list
    public void add(int elem);      // add element at end
    public void add(int i, int elem);   // insert element at pos. i
    public void remove(int i);      // remove i-th element
}