STL allocator