abstract srecord AbstractManagedObject(int addr) implements IManagedObject {
  //public int setManagedAddress(int addr);
  
  void setAddr(int addr) { this.addr = addr; }
}