open->op_stateowner->so_seqid--; 
nfs4_set_claim_prev(struct nfsd4_open *open){	open->op_stateowner->so_confirmed = 1;	open->op_stateowner->so_client->cl_firststate = 1;	open->op_stateowner->so_seqid--;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/bd9aac523b812d58e644fde5e59f5697fb9e3822/nfs4state.c/buggy/fs/nfsd/nfs4state.c