xdrgen_encode_uint64
if (!xdrgen_encode_uint64(xdr, value->l_offset))
if (!xdrgen_encode_uint64(xdr, value->l_len))