+/* Execute command P and returns its output. If TERM_OUT,
+ the output is built using terminal output behaviour such
+ as cli_styling. */
+extern std::string execute_command_to_string (const char *p, int from_tty,
+ bool term_out);
+extern void execute_command_to_ui_file (struct ui_file *file,
+ const char *p, int from_tty);