extern void ui_unregister_input_event_handler (struct ui *ui);
/* From top.c. */
-extern int confirm;
+extern bool confirm;
extern int inhibit_gdbinit;
-extern const char gdbinit[];
/* Print the GDB version banner to STREAM. If INTERACTIVE is false,
then information referring to commands (e.g., "show configuration")
/* Variables from top.c. */
extern int source_line_number;
extern std::string source_file_name;
-extern int history_expansion_p;
+extern bool history_expansion_p;
extern int server_command;
extern char *lim_at_start;