primitive_lexicographic_compare, etc...