add annotation for pqsort