(ld "defpkg.lisp")

(certify-book "batcher-sort" 3)