Re: [Boost-users] Priority deque?