sorted_vector -> sv_vector