+
+ // Delete an object regardless of the number of references.
+ // If the object is local, then all remote references will
+ // become dangling; any attempt to pass the handle to the
+ // ORB will result in an InvalidReference exception.
+
+ revoke(ID obj);
+
+ // Return the number of references to an object.
+ // This method is intended for debugging only.
+
+ get_refs(ID obj, int num out);