xdrgen_encode_int32
if (!xdrgen_encode_int32(xdr, value->svid))
if (!xdrgen_encode_int32(xdr, value->svid))
if (!xdrgen_encode_int32(xdr, value->state))
if (!xdrgen_encode_int32(xdr, value->sequence))
if (!xdrgen_encode_int32(xdr, value->state))