(ld "defpkg.lisp")

(certify-book "prefix-sum" 3)