The extra functionality added in the method, compared with its base-class counterpart, is block-offset-table verification. However, its value is rather limited because the implementation doesn't verify all BOT entries -- a successful verification doesn't entail BOT is without any errors.

One can remove it completely, because BOT is exclusively accessed by GC code and the risk of it being corrupted is low.