1200 void __insertion_sort(_RandomAccessIter __first, _RandomAccessIter __last) {  in __insertion_sort()  function
1207 void __insertion_sort(_RandomAccessIter __first,  in __insertion_sort()  function
1247     __insertion_sort(__first, __first + __stl_threshold);  in __final_insertion_sort()
1251     __insertion_sort(__first, __last);  in __final_insertion_sort()
1258     __insertion_sort(__first, __first + __stl_threshold, __comp);  in __final_insertion_sort()
1262     __insertion_sort(__first, __last, __comp);  in __final_insertion_sort()
1343     __insertion_sort(__first, __last);  in __inplace_stable_sort()
1358     __insertion_sort(__first, __last, __comp);  in __inplace_stable_sort()
1419     __insertion_sort(__first, __first + __chunk_size);  in __chunk_insertion_sort()
1422   __insertion_sort(__first, __last);  in __chunk_insertion_sort()
1431     __insertion_sort(__first, __first + __chunk_size, __comp);  in __chunk_insertion_sort()
1434   __insertion_sort(__first, __last, __comp);  in __chunk_insertion_sort()
1685   __insertion_sort(__first, __last);  in __nth_element()
1710   __insertion_sort(__first, __last, __comp);  in __nth_element()