Alessio, Steve,
Yes, I intend the first form to be an (in-package ...) followed by a (defun ...).
My immediate problem is solved, thank you! I am currently writing the result out to a file anyway, so I can easily strip the progn on the way out.
But, now I'm curious. Is there a reasonable way to solve this?
thanks pt