xdrgen_decode_uint32_t
if (!xdrgen_decode_uint32_t(xdr, &ptr->element[i]))
return xdrgen_decode_uint32_t(xdr, ptr);
if (!xdrgen_decode_uint32_t(xdr, &ptr->nseconds))