_Map_alloc_type
{ return _Map_alloc_type::allocate(__n); }
{ _Map_alloc_type::deallocate(__p, __n); }