void compute_output_file_names (void);
void output_file_names_free (void);
void output_file_name_check (char const *file_name);
void compute_output_file_names (void);
void output_file_names_free (void);
void output_file_name_check (char const *file_name);