[Boost-users] Need example of substitution of priority queue