(ld "hacker-pkg.lsp")


(ACL2::CERTIFY-BOOK "hacker" ACL2::?)