Update util_sort.h