On 13 Aug 2009, at 15:55, Ron Garret wrote: > I'd call that a bug in the ANSI spec. It violates the principle of > least surprise for no benefit whatsoever. If X is unconditionally > bound to NIL then there is no point in even having it in scope when > the result-form is evaluated. I'm guessing it's for compatibility with DOTIMES.