((/make-event/require-book.lisp::er-get-full-book-name (nil nil nil (er-let*) nil nil nil) (((dir-value (cond (dir (include-book-dir-with-chk soft ctx dir)) (t (value (cbd)))))) nil nil nil nil (mv-let) nil) (nil nil (declare value) (full-book-name) nil nil (parse-book-name)) ((directory-name familiar-name dir-value user-book-name .lisp ctx state full-book-name) nil nil (ignore) nil nil nil) ((directory-name familiar-name) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))