some tips for how to use wormholes
Wormholes allow one to collect data and print without having access to ACL2's state. Many ACL2 utilities are implemented in terms of wormholes. Examples include break-rewrite, accumulated-persistence, and forward-chaining-reports. So an ACL2 developer wishing to add features or fixing misbehaviors in these system utilities must be familiar with programming wormholes. But users might also employ wormholes to implement utilities in their own models. Thus, this documentation topic is as much for future ACL2 developers and maintainers as for ACL2 users (but items meant primarily for developers often include references to functions in the ACL2 source code which other users may just ignore). This is simply a list of tips for a person programming with wormholes. This list doesn't replace the topics wormhole and wormhole-eval, and their subtopics including the particularly relevant wormhole-status. But this list of tips might serve as a useful reminder when you're programming with wormholes.