sinterface IIntMemory {
  int get(int idx);
  void set(int idx, int val);
  int size();
  
  default int[] readArray(int start, int len) {
    int[] a = new[len];
    for i to len:
      a[i] = get(start+i);
    ret a;
  }
}