decode_allocate_maxsz
decode_allocate_maxsz + \
encode_op_hdr(xdr, OP_ALLOCATE, decode_allocate_maxsz, hdr);