Adjusted bound-checking code
Restricting ELV address mode to indices in segment 0