Richard Lamson pointed out that (at least) one of the expansions shown as an example at the end of my tail-recursion optimizer is wrong. Luckily, the optimizer code is correct. This example must have been left over from a earlier (incorrect) version of the code. Hope this didn't confuse others too much. -- Rich -------