+/* If the filename of the main executable is unknown, attempt to
+ determine it. If a filename is determined, proceed as though
+ it was just specified with the "file" command. Do nothing if
+ the filename of the main executable is already known. */
+
+extern void exec_file_locate_attach (int pid, int from_tty);
+