BREAK$

cause an immediate Lisp break
Major Section:  ACL2-BUILT-INS

ACL2 users are generally advised to avoid breaking into raw Lisp. Advanced users may, on occasion, see the need to do so. Evaluating (break$) will have that effect. (Exception: break$ is disabled after evaluation of (set-debugger-enable :never); see set-debugger-enable.) Break$ returns nil.