Remove an allocation from memory.
void deallocate(pointer p, size_type n);
Deallocates the storage referenced by p.