// Our indexing is currently rather primitive; every stream_index in
// [0, num_http_streams) maps to a HTTP stream (of which every Server
// has exactly one copy), and after that, it's mapping directly into
// <udp_streams>.
// Our indexing is currently rather primitive; every stream_index in
// [0, num_http_streams) maps to a HTTP stream (of which every Server
// has exactly one copy), and after that, it's mapping directly into
// <udp_streams>.