180   char *exec_file;  in child_attach()  local
198       exec_file = (char *) get_exec_file (0);  in child_attach()
200       if (exec_file)  in child_attach()
201 	printf_unfiltered ("Attaching to program: %s, %s\n", exec_file,  in child_attach()
241       char *exec_file = get_exec_file (0);  in child_detach()  local
242       if (exec_file == 0)  in child_detach()
243 	exec_file = "";  in child_detach()
244       printf_unfiltered ("Detaching from program: %s, %s\n", exec_file,  in child_detach()
330 child_create_inferior (char *exec_file, char *allargs, char **env,  in child_create_inferior()  argument
334   fork_inferior (exec_file, allargs, env, ptrace_me, ptrace_him, pre_fork_inferior, NULL);  in child_create_inferior()
336   fork_inferior (exec_file, allargs, env, ptrace_me, ptrace_him, NULL, NULL);  in child_create_inferior()