xdrgen_encode_int
if (!xdrgen_encode_int(xdr, value->uppid))
if (!xdrgen_encode_int(xdr, value->state))
if (!xdrgen_encode_int(xdr, value->sequence))