boost/boost/pool
