sclass ManagedIntObjects_v1_virtual extends ManagedIntObjects_v1 {
  IIntMemory vmem;
  
  public int size() { ret vmem.size(); }
  public int get(Addr i) { ret vmem.get(i); }
  public void set(Addr i, int val) { vmem.set(i, val); }
  
  *(IIntMemory *vmem) {}
}