Template:cpp/memory/allocator traits/navbar