An efficient, general and portable memory pool.