extern void validate_files (void);
+/* Give the user a message if the current exec file does not match the exec
+ file determined from the target. In case of mismatch, ask the user
+ if the exec file determined from target must be loaded. */
+extern void validate_exec_file (int from_tty);
+
/* The current default bfd target. */
extern char *gnutarget;