*len = state->next_cursor[pool];
*len = state->next_cursor[pool] - 1;
XPT_GetXDRData(XPTState *state, XPTPool pool, char **data, uint32 *len){    if (pool == XPT_HEADER) {        *data = state->pool->data;    } else {        *data = state->pool->data + state->data_offset;    }    *len = state->next_cursor[pool];}