$Date: 2005/10/24 12:56:52 $
$Revision: 1.15 $
-- Initialize a new object id manager.
-- Set a unique ID for an_object.
-- Mark an_id as free for further use.
Manager for unique object IDs.