Prettify priority_queue example.