Do more proper boundary checking for relocs