Template:cpp/io/dsc allocator type