abstract srecord AbstractManagedObject(int addr) implements IManagedObject {
  ManagedIntObjects_v1 mem;
  
  void setAddr(int addr) { this.addr = addr; }
}