    class
    	IDENTIFIED

    General
    	cluster: base
    	description: "Objects identified, uniquely during any session, by an integer"

    Ancestors
    	DISPOSABLE*

    Queries
    	id_freed: BOOLEAN
    	id_object (an_id: INTEGER_32): IDENTIFIED
    	is_equal (other: [like Current] IDENTIFIED): BOOLEAN
    	object_id: INTEGER_32

    Commands
    	copy (other: [like Current] IDENTIFIED)
    	free_id