//usr/include/c++/4.8.2/scoped_allocator