The part of the code marked in green is the part which is about to be expanded, and the part marked in red is the part which was just expanded.
| Previous | First | Next |
(define unique1* (cons 'c unique4*)) (define unique2* (cons 'b unique1*)) (define lst-1 unique2*) (define unique3* (cons 'a unique1*)) (define lst-2 unique3*) (define unique4* (cons 'd empty)) (define unique5* (cons 'd empty)) (define unique6* (cons 'a unique5*)) (set! lst-1 unique6*) (set-rest! lst-2 (rest (rest lst-2))) (set-rest! lst-1 empty)