int siggnal = 0; int pid = PIDGET (inferior_ptid);  if (from_tty) { char *exec_file = get_exec_file (0); if (exec_file == 0) exec_file = ""; printf_unfiltered ("Detaching from program: %s, %s\n", exec_file, target_pid_to_str (pid_to_ptid (pid))); gdb_flush (gdb_stdout); } if (args) siggnal = atoi (args);  detach (siggnal);  inferior_ptid = null_ptid; unpush_target (&deprecated_child_ops);
child_detach (char *args, int from_tty){#ifdef ATTACH_DETACH  {    int siggnal = 0;    int pid = PIDGET (inferior_ptid);    if (from_tty)      {	char *exec_file = get_exec_file (0);	if (exec_file == 0)	  exec_file = "";	printf_unfiltered ("Detaching from program: %s, %s\n", exec_file,			   target_pid_to_str (pid_to_ptid (pid)));	gdb_flush (gdb_stdout);      }    if (args)      siggnal = atoi (args);    detach (siggnal);    inferior_ptid = null_ptid;    unpush_target (&child_ops);  }#else  error ("This version of Unix does not support detaching a process.");#endif}