int xxfile(const char *inputFilename, const char *outputFilename);