#lexicographic-compare