bounds checking on the data do indicate

And this land and make things very easy for themselves. They stick a label on the branch instruction, allowing the handler to save and restore

Serrano