int index; const char *bp;
process(FILE *inFile,int user){    char buf[2048];    Value **arglist;    CK_RV error;    CK_RV ckrv = CKR_OK;    if (user) { printf("pkcs11> "); fflush(stdout); }    while (fgets(buf,2048,inFile) != NULL) {	int index;	const char *bp;	if (!user) printf("* %s",buf);	bp = strip(buf);	/* allow comments in scripts */	if (*bp == '#') {	    goto done;	}	index = lookup(bp);	if (index < 0) {	    goto done;	}	arglist = parseArgs(index,bp);	if (arglist == NULL) {	    goto done;	}	error = do_func(index,arglist);	if (error == 0x80000000) {	    parseFree(arglist);	    break;	}	if (error) {	    ckrv = error;	    printf(">> Error : ");	    printConst(error, ConstResult, 1);	}	putOutput(arglist);	parseFree(arglist);done:	if (user) { 	    printf("pkcs11> "); fflush(stdout); 	}    }    return ckrv;}