As a small nit, this isn't quite *the* memory allocator but rather just *a* memory allocator. This is not used by default, it's meant for more specialized use cases.