The result is a list consisting of the elements of list in reverse order.
No new pairs are allocated, instead the pairs of list are re-used,
with cdr cells of list reversed in place. Note that if list
was pair, it becomes the last pair of the reversed result.