removed global_context::destroy()