You should probably assert here that the offset is <= 2GB. And in `jump_to_instruction_body`.