In system 26.3, with microcode 616, on LISP Machine One: If the regular pushdown list overflows and I type ctrl-z to get back to the top level, the machine goes into an (apparently) infinite loop.