Port: PriorityQueue