static void destroy_( allocator_t & alloc, push_coroutine_object * p) { alloc.destroy( p); alloc.deallocate( p, 1); }
static void destroy_( allocator_t & alloc, fiber_object * p) { alloc.destroy( p); alloc.deallocate( p, 1); }
static void destroy_( allocator_t & alloc, shared_state_object * p) { alloc.destroy( p); alloc.deallocate( p, 1); }