rename_object
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.
ob
new_name
creator(E), object_name(E), load_name(E).
creator
object_name
load_name