(setq x 33) (let ((x 44)) (eval '(print x)) nil) SBCL, CCL, CLISP, ABCL, ECL, GCL, MKCL all print 33. CMUCL prints 44. The spec is confusing to me. Which should it be? Thanks. Blake McBride