// Yeah this subclass relationship is nasty
sclass ManagedIntObjects_v1_virtual extends ManagedIntObjects_v1 {
  replace Addr with int.
  replace BoxedAddr with Int.
  
  IIntMemory vmem;
  
  *(IIntMemory *vmem) { mem = null; }
  
  public long size() { ret (int) vmem.size(); }
  public int get(Addr i) { ret vmem.get(i); }
  public void set(Addr i, int val) { vmem.set(i, val); }
  
  int[] readIntArray(BoxedAddr ptr) {
    if (ptr == 0) null;
    int n = get(ptr++);
    int[] a = new[n];
    for i to n:
      a[i] = get(ptr+i);
    ret a;
  }
  
  void fillMem(int start, int end, int value) {
    for (int i = start; i < end; i++)
      set(i, value);
  }
  
  void memCopy(int src, int dest, int n) {
    for i to n:
      set(dest+i, get(src+i));
  }
}