// Sets the max pacing rate for all the servers.
void set_pacing_rate(int stream_index, uint32_t pacing_rate);
// Changes the given stream's backlog size on all the servers.
void set_backlog_size(int stream_index, size_t new_size);
// Sets the max pacing rate for all the servers.
void set_pacing_rate(int stream_index, uint32_t pacing_rate);
// Changes the given stream's backlog size on all the servers.
void set_backlog_size(int stream_index, size_t new_size);