Simplify pool_allocator