extern struct cmd_list_element *save_cmdlist;
extern void execute_command (char *, int);
-extern char *execute_command_to_string (char *p, int from_tty);
+extern std::string execute_command_to_string (char *p, int from_tty);
enum command_control_type execute_control_command (struct command_line *);