How to exit if SLS crashes

In that case, you should end up in the Lisp debugger. Just type (cl::quit) to exit Lisp.