Modified library discussion of allocator