extern char *gdb_readline_wrapper (const char *);
-extern char *command_line_input (const char *, const char *);
+extern const char *command_line_input (const char *, const char *);
extern void print_prompt (void);
extern int input_interactive_p (struct ui *);
-extern int info_verbose;
+extern bool info_verbose;
/* From printcmd.c */