Hi, The test below is MACROLET.47 from pfdietz's ANSI test suite. MACROLET should not be capturing the binding of X to :BAD. Welcome to Clozure Common Lisp Version 1.9-dev-r15564M (LinuxX8664)! ? (let ((x :good)) (declare (special x)) (let ((x :bad)) (macrolet () (declare (special x)) x))) :BAD -- Eric Marsden