/node_pool.hpp/1.2/Mon Aug  7 13:58:38 2006//
D
