extern const char *input_file, *output_file;
extern char *output_file_tmp;
enum printing_instance { pr_cost, pr_size, pr__max };
extern const char *input_file, *output_file;
extern char *output_file_tmp;
enum printing_instance { pr_cost, pr_size, pr__max };