[Boost-users] pool allocator based on element type instead of size?