Copyright (C) 2025, Matt Kaufmann and Yahya Sohail
License: A 3-clause BSD license.  See the LICENSE file distributed with ACL2.
