Speaking for the Symbolics Common Lisp effort, and on behalf of Dave Moon and Howard Cannon, I vote for option 1. We feel rather strongly about this and, like SEF, will only budge if there is very strong opposition to this vote. -------