int output_specify_formats(char *format_string, int for_real);
void output_createfiles(char *fileprefix, progparams_p ppp);
void output_hand(int boardno, dl_num *dnp);
void output_closefiles();
void output_help();