sort(first, last: INTEGER) is
      obsolete "You should use quick_sort_range(first, last)"
      do
	 quick_sort_range(first, last)
      end -- sort