pool_push_batch
pool_push_batch(&pool_global, &objects);
if (!pool_push_batch(&pool_global, &head))
pool_push_batch(&pool_to_free, &head);