And this is a good idea why? Rather than hacking things to make this
work again, why not make Ada use the builtin mechanisms?
Actually, I don't see where in find_and_verify_loop it makes sure that
the new location is in the same exception region as the old location.
What am I missing?