extern void exec_initialize(void);
extern void exec_shell_reconfig(void);
extern void exec_prompt_reconfig(void);
extern int execute_cmd(const char *);