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.