A highly efficient allocator for single objects.