efun: rename_object

SYNOPSIS:

        void rename_object (object ob, string new_name);

DESCRIPTION:

        Give the object <ob> a new object name <new_name>. Causes a privilege
        violation. The new name must not contain a # character, except
        at the end, to avoid confusion with clone numbers.

HISTORY:

        Introduced in 3.2@55.

SEE ALSO:

	
	creator(E), object_name(E), load_name(E)