Re: [boost] Interest in double-ended priority queue? (priority_deque)