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.
 
 