✏️ Editing: array_allocator.h