lexicographic_compare