1374                        _RandomAccessIter2 __result, _Distance __step_size) {  in __merge_sort_loop()  argument
1375   _Distance __two_step = 2 * __step_size;  in __merge_sort_loop()
1378     __result = merge(__first, __first + __step_size,  in __merge_sort_loop()
1379                      __first + __step_size, __first + __two_step,  in __merge_sort_loop()
1384   __step_size = min(_Distance(__last - __first), __step_size);  in __merge_sort_loop()
1385   merge(__first, __first + __step_size, __first + __step_size, __last,  in __merge_sort_loop()
1393                        _RandomAccessIter2 __result, _Distance __step_size,  in __merge_sort_loop()  argument
1395   _Distance __two_step = 2 * __step_size;  in __merge_sort_loop()
1398     __result = merge(__first, __first + __step_size,  in __merge_sort_loop()
1399                      __first + __step_size, __first + __two_step,  in __merge_sort_loop()
1404   __step_size = min(_Distance(__last - __first), __step_size);  in __merge_sort_loop()
1406   merge(__first, __first + __step_size,  in __merge_sort_loop()
1407         __first + __step_size, __last,  in __merge_sort_loop()
1444   _Distance __step_size = __stl_chunk_size;  in __merge_sort_with_buffer()  local
1445   __chunk_insertion_sort(__first, __last, __step_size);  in __merge_sort_with_buffer()
1447   while (__step_size < __len) {  in __merge_sort_with_buffer()
1448     __merge_sort_loop(__first, __last, __buffer, __step_size);  in __merge_sort_with_buffer()
1449     __step_size *= 2;  in __merge_sort_with_buffer()
1450     __merge_sort_loop(__buffer, __buffer_last, __first, __step_size);  in __merge_sort_with_buffer()
1451     __step_size *= 2;  in __merge_sort_with_buffer()
1463   _Distance __step_size = __stl_chunk_size;  in __merge_sort_with_buffer()  local
1464   __chunk_insertion_sort(__first, __last, __step_size, __comp);  in __merge_sort_with_buffer()
1466   while (__step_size < __len) {  in __merge_sort_with_buffer()
1467     __merge_sort_loop(__first, __last, __buffer, __step_size, __comp);  in __merge_sort_with_buffer()
1468     __step_size *= 2;  in __merge_sort_with_buffer()
1469     __merge_sort_loop(__buffer, __buffer_last, __first, __step_size, __comp);  in __merge_sort_with_buffer()
1470     __step_size *= 2;  in __merge_sort_with_buffer()