Finished priority_queue