Template:cpp/memory/allocator traits/dsc allocate at least