do_interactive
do_interactive(void)
do_interactive(FILE *infile, char *configfile, char *promptstring,