| 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) |