In system 40.1, with microcode 684, on LISP Machine Six: ;;When evaluated will work fine but when compiled will halt the machine (defun foo() (*catch 'bar ;;this must be here for the machine to halt. (do ()(()) (multiple-value (a b) (*catch 'baz (return nil))))))