A simple priority queue for co