A memory allocator.