#
Mystery procedure
^{
}

The following procedure is quite useful, although obscure:

```
(define (mystery x)
(define (loop x y)
(if (null? x)
y
(let ((temp (cdr x)))
(set-cdr! x y)
(loop temp x))))
(loop x '()))
```

`Loop`

uses the "temporary" variable
`temp`

to hold the old value of the
`cdr`

of
`x`

, since the
`set-cdr!`

on the next line destroys the
`cdr`

. Explain what
`mystery`

does in general. Suppose
`v`

is defined by
`(define v (list 'a 'b 'c 'd))`

. Draw the box-and-pointer diagram that represents the list to which
`v`

is bound. Suppose that we now evaluate
`(define w (mystery v))`

. Draw box-and-pointer diagrams that show the structures
`v`

and
`w`

after evaluating this expression. What would be printed as the values of
`v`

and
`w`

?