extern const char wait_server_threads[];
+extern const char dccp_byte_stream_mode[];
+
+extern const char dccp_ccid_default[];
+
+extern const char dccp_ccid_val[];
+
/* -------------------------------------------------------------------
* reports
* ------------------------------------------------------------------- */