Merge "verify_file: Add constness to a few addresses."