xdrgen_encode_uint32_t
if (!xdrgen_encode_uint32_t(xdr, value.element[i]))
if (!xdrgen_encode_uint32_t(xdr, value->nseconds))
return xdrgen_encode_uint32_t(xdr, value);