A dynamic memory allocator.