// all addresses in this system are obj id (int) + offset in object (int)
sinterface IIntMemory_indirect {
  int get(int obj, int ofs); // read offset ofs in object obj
  default int read(int obj, int ofs) { ret get(obj, ofs); }
  void set(int obj, int ofs, int val);
  
  default int[] readArray(int obj, int start, int len) {
    int[] a = new[len];
    for i to len:
      a[i] = get(obj, start+i);
    ret a;
  }
  
  default long getLong(int obj, int ofs) {
    ret twoIntsToLong(get(obj, ofs), get(obj, ofs+1));
  }
  
  default void setLong(int obj, int ofs, long val) {
    set(obj, ofs, firstIntFromLong(val));
    set(obj, ofs+1, secondIntFromLong(val));
  }
}