decode_deallocate_maxsz
decode_deallocate_maxsz + \
encode_op_hdr(xdr, OP_DEALLOCATE, decode_deallocate_maxsz, hdr);