Re: [boost] [heap] van Emde Boas tree