// Set that the given stream should use the given max pacing rate from now on.
// NOTE: This should be set before any clients are connected!
void set_pacing_rate(int stream_index, uint32_t pacing_rate);
// Set that the given stream should use the given max pacing rate from now on.
// NOTE: This should be set before any clients are connected!
void set_pacing_rate(int stream_index, uint32_t pacing_rate);