[boost] Re: How to merge set<int>