(ACL2S-HOOKS::ACL2S-PASSWORD-HASH)
(ACL2S-HOOKS::ACL2S-PASSWORDP)
(ACL2S-HOOKS::ACL2S-PROTECTION-BEGIN)
(ACL2S-HOOKS::CLEAR-ACL2S-PASSWORD)
(ACL2S-HOOKS::ACL2S-PROTECTED-MODEP)
(ACL2S-HOOKS::USER-REVERT-SUPER-HISTORY)
(CHK-ACCEPTABLE-LD-FN1-PAIR)
(LD-READ-EVAL-PRINT)
