In system 29.95 NWS, with microcode 669, on LISP Machine Two: (defun foo nil (condition-bind ((nil (throw nil nil))) (barf))) Compile it and then type (foo) and you will get an ILLOP at PC 20212. I tried this on two machines, and both do the same thing.