Must check pq_dequeue for empty case at API level
Need to check KP size before a re-enqueue