SYNOPSIS:
	void rename_object (object ob, string new_name);

DESCRIPTION:
	Give the current object a new object_name. Causes a privilege
	violation. The new name must not contain a # character, except
	at the end, to avoid confusion with clone numbers.

SEE ALSO:
	creator(E), object_name(E)
