abstract srecord AbstractManagedObject64(int addr) implements IManagedObject64 {
  //public long setManagedAddress(long addr);
}