Take advantage of the fact that the array of indexes returned from
the vre2 call is now sorted (but still using a linear search).