The variables to be rebound.
A body of forms, the variables in which should be unique.
Returns the body wrapped in a form which creates a unique name for each of the variables (compare with
gensym) and binds these names to the values of the variables. This ensures that the body can refer to the variables without name clashes with other variables elsewhere.
LispWorks User Guide and Reference Manual - 20 Sep 2017