---

(define-syntax trace
  (syntax-rules ()
    ((_ expr)
     (begin
       (write 'expr)
       (display " => ")
       (let ((value expr))
         (write value)
         (newline)
         value)))))