Template:cpp/header/dsc scoped allocator