pool_move_batch
pool_move_batch(pcp, &pool_to_free);
if (!pool_move_batch(pcp, &pool_to_free)) {
if (!pool_move_batch(pcp, &pool_global))
if (!pool_move_batch(&pool_global, pcp))
pool_move_batch(&pool_to_free, pcp);
pool_move_batch(&pool_global, &pool_to_free);
if (pool_move_batch(&pool_global, &pool_to_free)) {