printf_filtered ("Detaching from program: %s %s\n", exec_file, target_pid_to_str (inferior_ptid)); fflush (stdout);
printf_filtered ("Detaching from program: %s, %s\n", exec_file, target_pid_to_str (pid_to_ptid (pid))); gdb_flush (gdb_stdout);
procfs_detach (char *args, int from_tty){  char *exec_file;  int   signo = 0;  if (from_tty)    {      exec_file = get_exec_file (0);      if (exec_file == 0)	exec_file = "";      printf_filtered ("Detaching from program: %s %s\n",	      exec_file, target_pid_to_str (inferior_ptid));      fflush (stdout);    }  if (args)    signo = atoi (args);  do_detach (signo);  inferior_ptid = null_ptid;  unpush_target (&procfs_ops);		/* Pop out of handling an inferior */}