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