(ld "defpkg.lisp")

(certify-book "gray-code" 3)