CK_RV  run(char *filename)
CK_RV  run(const char *filename)
CK_RV  run(char *filename) {    FILE *infile;    CK_RV ckrv;    infile = fopen(filename,"r");    if (infile == NULL) {	perror(filename);	return CKR_FUNCTION_FAILED;    }    ckrv = process(infile, 0);    fclose(infile);    return ckrv;}