A brief survey of priority_queue usage in the tree turned this up