decode_release_lockowner_maxsz
encode_op_hdr(xdr, OP_RELEASE_LOCKOWNER, decode_release_lockowner_maxsz, hdr);
decode_release_lockowner_maxsz)