ManagedIntObjects_v1 mem;
  
  public void setAddr(int addr) { this.addr = addr; }