✏️ Editing: pool_allocator.h