+ // 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>.
+ int num_http_streams;
+ std::vector<UDPStream *> udp_streams;
+