>How does Emacs currently tag pointers? ... On the other hand, if >you're tagging the high-order bits, then it would definitely be >harder -- not impossible, but a non-trivial amount of work. Emacs tags the high-order bits. For fixnums and conses (and maybe one or two other types), that's all the type information there is. The representations of the other types start with a type word.