[boost] Re: shared_array: how to get the number of elements in it?