Open
Description
Most of the allocator have the prefix ensures something is allocated. This is not precise, because this allocators non-deterministically allocate memory, so at the end there could be null pointers. Rename them to reflect their behavior.