[Boost-users] Using pool_alloc with std::map