Use sort_ex.sorted