Most Common Lisp implementations, for what it&#x27;s worth, take this approach as well. For tight loops where you&#x27;ve removed the invariants and proved its bounds removing the run-time checks can give a non-trivial performance boost to production systems.