Edit: malloc_allocator.h