; In order not to compile the book, use following ld command should be used.
;(ld '((ubt! 1)
;      (ld "define-u-package.lisp")
;      (certify-book "utils" 1 nil)))

(value :q)
(lp)

(ld '((ubt! 1)
      (ld "define-u-package.lisp")
      (certify-book "basic-def" 1)))