init

(unless (find-package "ACL2")
  (if (probe-file "acl2r.lisp")
    (load "acl2r.lisp"))
  (handler-bind ((style-warning (lambda (c)
         (declare (ignore c))
         (invoke-restart 'muffle-warning))))
    (load "acl2-init.lisp")))