// all addresses in this system are IndirectAddr,

// or: obj id (int) + offset in object (int)

sinterface IIntMemory_indirect {

  // versions using two ints (obj+ofs)

  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);

  // versions using IndirectAddr

  default int get(IndirectAddr addr) { ret get(addr.obj, addr.ofs); }

  default int read(IndirectAddr addr) { ret get(addr); }

  default void set(IndirectAddr addr, int val) { set(addr.obj, addr.ofs, 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));

  }

}