int process(char const *infile, char *outfile);