consolidate-in-6.2
(setq-si::*optimize-maximum-pages*-nil)-in-elementary-bounders.acl2
fix-elementary-bounders.acl2
