7.2.74 name-object

(name-object ID NAME)

Assign a new NAME (a string) to ID. A number is appended if that name is in use (for example, foo -> foo<2>). The new name, possibly with number appended, may be used as object's id thereafter.