Fix address range check in VAB loader.