Natools

            end if;
         end if;

         L_Pos := L_Pos + Step;
         R_Pos := R_Pos + Step;

         if L_Pos > Left (Chunk).all'Last then
            if Chunk = Left'Last then
            --  _Chunk cannot be Left'Last because L_Remain > 0
               if R_Pos <= Right'Last then
                  return Lesser;
               else
                  return Equal;
               end if;
            end if;
            Chunk := Chunk + 1;
            L_Pos := Left (Chunk).all'First;
         end if;
         if R_Pos > Right'Last then
            return Greater;
         end if;
      end loop;