pool_destroy      950 lib/as3/abc.c      pool_destroy(pool);
pool_destroy     1235 lib/as3/abc.c      pool_destroy(pool);
pool_destroy      214 lib/as3/pool.h void pool_destroy(pool_t*pool);