manual: Correct guarantee about pointers compared by qsort()