;; a (define (lookup-variable-value var env) (let ((target (env-loop var env (lambda (var vars vals) vals)))) (cond ((eq? target '*unassigned*) (error "Unassigned variable" var)) (target (car target)) (else (error "Unbound variable" var)))…