(ld "hacker-pkg.lsp")
(ld "rewrite-code-pkg.lsp")


(ACL2::CERTIFY-BOOK "all" ACL2::? T :TTAGS ((DEFCODE) (TABLE-GUARD)))