add mempool_vary, which allocates objects of different sizes in different pools.