An allocator that counts the amount of memory allocated.