[boost] [pool] an O(1) implementation of object_pool::destroy()