Re: [boost] RFC: runtime-flexible arrays