(ld "defpkg.lisp")

(certify-book "cla-adder" 3)