NFS4ERR_BAD_STATEID
&& error != NFS4ERR_BAD_STATEID && error != NFS4ERR_BAD_SEQID
ASSERT(nfs4Error != NFS4ERR_BAD_STATEID);
if (reply.NFS4Error() == NFS4ERR_BAD_STATEID) {