ok, ok, my question was sloppily worded. does the definition of Common Lisp require that all implementations have tail recursion optimization ? No. It has even been suggested that the current definition does not allow tail-recursion optimization -- that's an issue we have to settle soon, and I hope that we'll be able to work out a solution in which this is allowed. -- Scott