Vector binary search
One "frontier" bit (in black) is always set
At each step, it moves right and a comparison result fills its old position
There's always a bit set, so index 0 can't be reached until the end