rem: int        seed; char      *disk_name = "big_file"; myfs_info  *myfs; char *arg; int argi = 1;  if (argv[1] && strcmp(argv[1], "--help") == 0) { print_usage(argv[0]); exit(0); }
add: int seed = 0; char *disk_name = "big_file"; myfs_info  *myfs; char *arg; int argi = 1;  if (argv[1] && strcmp(argv[1], "--help") == 0) { print_usage(argv[0]); exit(0); }
context: main(int argc, char **argv){    int        seed;    char      *disk_name = "big_file";    myfs_info  *myfs;    char *arg;    int argi = 1;        if (argv[1] && strcmp(argv[1], "--help") == 0) {    	print_usage(argv[0]);    	exit(0);    }	// eat options	while (argi < argc && argv[argi][0] == '-') {		arg = argv[argi++];		if (strcmp(arg, "-n") == 0) {			sInteractiveMode = false;		} else {	    	print_usage(argv[0]);			exit(1);		}	}	if (argi >= argc) {    	print_usage(argv[0]);		exit(1);	}	arg = argv[argi];    if (arg != NULL && !isdigit(arg[0]))        disk_name = arg;    else if (arg && isdigit(arg[0]))        seed = strtoul(arg, NULL, 0);    else        seed = getpid() * time(NULL) | 1;    printf("random seed == 0x%x\n", seed);    srand(seed);    myfs = init_fs(disk_name);    do_fsh();	sys_chdir(1, -1, "/");    if (sys_unmount(1, -1, "/myfs") != 0) {        printf("could not un-mount /myfs\n");        return 5;    }    shutdown_block_cache();    return 0;   }