sort_guarded.cpp

// The search going up is known to be guarded but the search coming down isn't.
// Prime the downward search with a guard.
// __m still guards upward moving __i
  while (__comp(*__i, *__m))
    ++__i;