unpush_target (&child_ops);
unpush_target (&deprecated_child_ops);
child_mourn_inferior (void){  (void) child_continue (DBG_CONTINUE, -1);  i386_cleanup_dregs();  unpush_target (&child_ops);  generic_mourn_inferior ();}