(ld "defpkg.lisp")
(certify-book "set-count" 1)