pqueue_dequeue() implemented.