There is essentially no Common Lisp escape feature in the lp (but
see set-raw-mode). This is part of the price of purity. To execute a
form in Common Lisp as opposed to ACL2, exit lp with :q,
submit the desired forms to the Common Lisp read-eval-print loop, and reenter
ACL2 with (lp).