Date: 26 Jul 1985 1550-CDT Re: labels ... a surrounding BLOCK is not implicitly generated in the case of LABELS. I believe this to be an oversight in the specification for LABELS. -- David Haug I agree. Functions defined with LABELS and FLET should have the same implicit BLOCK as functions defined with DEFUN. Tim McNerney P.S. This is "broken" (but by the book) in Symbolics Common Lisp as well.