Repository: websockets-rs/rust-websocket (language: rust)

Issue:
Autobahn broken for Server
See https://cyderize.github.io/rust-websocket/autobahn/ autobahn test regression for the server example.


Discussion / hints:
This is still broken, compare current against:
https://gist.github.com/illegalprime/4208fdc96c909d431c37ae044e9696e0


Fix patch:
diff --git a/.gitignore b/.gitignore
index a9bb10903d..bfe5de37db 100644
--- a/.gitignore
+++ b/.gitignore
@@ -43,4 +43,9 @@ Icon
 .AppleDB
 .AppleDesktop
 Network Trash Folder
-Temporary Items
\ No newline at end of file
+Temporary Items
+
+# Autobahn Output
+autobahn/client
+autobahn/server
+
diff --git a/.travis.yml b/.travis.yml
index 6726112c01..74c38f865d 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -12,24 +12,10 @@ script:
     - cargo bench --features nightly
 
 after_success:
-  - >
-    [ $TRAVIS_BRANCH = master ] && [ $TRAVIS_PULL_REQUEST = false ] && sudo pip install ghp-import urllib3[secure]
-  - >
-    [ $TRAVIS_BRANCH = master ] && [ $TRAVIS_PULL_REQUEST = false ] && sudo apt-get install python-unittest2 && sudo pip install autobahntestsuite
-  - >
-    [ $TRAVIS_BRANCH = master ] && [ $TRAVIS_PULL_REQUEST = false ] && {
-    echo "Running Autobahn TestSuite for client" ;
-    wstest -m fuzzingserver -s ./autobahn/fuzzingserver.json & FUZZINGSERVER_PID=$! ;
-    sleep 10 ;
-    ./target/debug/examples/autobahn-client ;
-    kill -9 ${FUZZINGSERVER_PID} ; }
-  - >
-    [ $TRAVIS_BRANCH = master ] && [ $TRAVIS_PULL_REQUEST = false ] && {
-    echo "Running Autobahn TestSuite for server" ;
-    ./target/debug/examples/autobahn-server & WSSERVER_PID=$! ;
-    sleep 10 ;
-    wstest -m fuzzingclient -s ./autobahn/fuzzingclient.json ;
-    kill -9 ${WSSERVER_PID} ; }
+  - sudo apt-get install python-unittest2
+  - sudo pip install ghp-import urllib3[secure] autobahntestsuite
+  - echo "Running Autobahn TestSuite for client" && ./scripts/autobahn-client.sh
+  - echo "Running Autobahn TestSuite for server" && ./scripts/autobahn-server.sh
   - >
     [ $TRAVIS_BRANCH = master ] && [ $TRAVIS_PULL_REQUEST = false ] && {
     echo "Building docs and gh-pages" ;
diff --git a/autobahn/client-results.json b/autobahn/client-results.json
new file mode 100644
index 0000000000..987591f7be
--- /dev/null
+++ b/autobahn/client-results.json
@@ -0,0 +1,3637 @@
+{
+   "rust-websocket": {
+      "1.1.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_1_1_1.json"
+      },
+      "1.1.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 42,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_1_1_2.json"
+      },
+      "1.1.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_1_1_3.json"
+      },
+      "1.1.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_1_1_4.json"
+      },
+      "1.1.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_1_1_5.json"
+      },
+      "1.1.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 69,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_1_1_6.json"
+      },
+      "1.1.7": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 35,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_1_1_7.json"
+      },
+      "1.1.8": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 35,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_1_1_8.json"
+      },
+      "1.2.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 42,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_1_2_1.json"
+      },
+      "1.2.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_1_2_2.json"
+      },
+      "1.2.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_1_2_3.json"
+      },
+      "1.2.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_1_2_4.json"
+      },
+      "1.2.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_1_2_5.json"
+      },
+      "1.2.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 81,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_1_2_6.json"
+      },
+      "1.2.7": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 51,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_1_2_7.json"
+      },
+      "1.2.8": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 57,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_1_2_8.json"
+      },
+      "10.1.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 50,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_10_1_1.json"
+      },
+      "12.1.1": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_1_1.json"
+      },
+      "12.1.10": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_1_10.json"
+      },
+      "12.1.11": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_1_11.json"
+      },
+      "12.1.12": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_1_12.json"
+      },
+      "12.1.13": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_1_13.json"
+      },
+      "12.1.14": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_1_14.json"
+      },
+      "12.1.15": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_1_15.json"
+      },
+      "12.1.16": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_1_16.json"
+      },
+      "12.1.17": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_1_17.json"
+      },
+      "12.1.18": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_1_18.json"
+      },
+      "12.1.2": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_1_2.json"
+      },
+      "12.1.3": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_1_3.json"
+      },
+      "12.1.4": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_1_4.json"
+      },
+      "12.1.5": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_1_5.json"
+      },
+      "12.1.6": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_1_6.json"
+      },
+      "12.1.7": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_1_7.json"
+      },
+      "12.1.8": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_1_8.json"
+      },
+      "12.1.9": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_1_9.json"
+      },
+      "12.2.1": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_2_1.json"
+      },
+      "12.2.10": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_2_10.json"
+      },
+      "12.2.11": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_2_11.json"
+      },
+      "12.2.12": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_2_12.json"
+      },
+      "12.2.13": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_2_13.json"
+      },
+      "12.2.14": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_2_14.json"
+      },
+      "12.2.15": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_2_15.json"
+      },
+      "12.2.16": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_2_16.json"
+      },
+      "12.2.17": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_2_17.json"
+      },
+      "12.2.18": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_2_18.json"
+      },
+      "12.2.2": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_2_2.json"
+      },
+      "12.2.3": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_2_3.json"
+      },
+      "12.2.4": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_2_4.json"
+      },
+      "12.2.5": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_2_5.json"
+      },
+      "12.2.6": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_2_6.json"
+      },
+      "12.2.7": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_2_7.json"
+      },
+      "12.2.8": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_2_8.json"
+      },
+      "12.2.9": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_2_9.json"
+      },
+      "12.3.1": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_3_1.json"
+      },
+      "12.3.10": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_3_10.json"
+      },
+      "12.3.11": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_3_11.json"
+      },
+      "12.3.12": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_3_12.json"
+      },
+      "12.3.13": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_3_13.json"
+      },
+      "12.3.14": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_3_14.json"
+      },
+      "12.3.15": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_3_15.json"
+      },
+      "12.3.16": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_3_16.json"
+      },
+      "12.3.17": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_3_17.json"
+      },
+      "12.3.18": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_3_18.json"
+      },
+      "12.3.2": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_3_2.json"
+      },
+      "12.3.3": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_3_3.json"
+      },
+      "12.3.4": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_3_4.json"
+      },
+      "12.3.5": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_3_5.json"
+      },
+      "12.3.6": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_3_6.json"
+      },
+      "12.3.7": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_3_7.json"
+      },
+      "12.3.8": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_3_8.json"
+      },
+      "12.3.9": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_3_9.json"
+      },
+      "12.4.1": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_4_1.json"
+      },
+      "12.4.10": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_4_10.json"
+      },
+      "12.4.11": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_4_11.json"
+      },
+      "12.4.12": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_4_12.json"
+      },
+      "12.4.13": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_4_13.json"
+      },
+      "12.4.14": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_4_14.json"
+      },
+      "12.4.15": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_4_15.json"
+      },
+      "12.4.16": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_4_16.json"
+      },
+      "12.4.17": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_4_17.json"
+      },
+      "12.4.18": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_4_18.json"
+      },
+      "12.4.2": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_4_2.json"
+      },
+      "12.4.3": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_4_3.json"
+      },
+      "12.4.4": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_4_4.json"
+      },
+      "12.4.5": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_4_5.json"
+      },
+      "12.4.6": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_4_6.json"
+      },
+      "12.4.7": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_4_7.json"
+      },
+      "12.4.8": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_4_8.json"
+      },
+      "12.4.9": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_4_9.json"
+      },
+      "12.5.1": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_5_1.json"
+      },
+      "12.5.10": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_5_10.json"
+      },
+      "12.5.11": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_5_11.json"
+      },
+      "12.5.12": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_5_12.json"
+      },
+      "12.5.13": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_5_13.json"
+      },
+      "12.5.14": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_5_14.json"
+      },
+      "12.5.15": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_5_15.json"
+      },
+      "12.5.16": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_5_16.json"
+      },
+      "12.5.17": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_5_17.json"
+      },
+      "12.5.18": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_5_18.json"
+      },
+      "12.5.2": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_5_2.json"
+      },
+      "12.5.3": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_5_3.json"
+      },
+      "12.5.4": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_5_4.json"
+      },
+      "12.5.5": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_5_5.json"
+      },
+      "12.5.6": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_5_6.json"
+      },
+      "12.5.7": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_5_7.json"
+      },
+      "12.5.8": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_5_8.json"
+      },
+      "12.5.9": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_5_9.json"
+      },
+      "13.1.1": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_1_1.json"
+      },
+      "13.1.10": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_1_10.json"
+      },
+      "13.1.11": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_1_11.json"
+      },
+      "13.1.12": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_1_12.json"
+      },
+      "13.1.13": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_1_13.json"
+      },
+      "13.1.14": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_1_14.json"
+      },
+      "13.1.15": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_1_15.json"
+      },
+      "13.1.16": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_1_16.json"
+      },
+      "13.1.17": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_1_17.json"
+      },
+      "13.1.18": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_1_18.json"
+      },
+      "13.1.2": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_1_2.json"
+      },
+      "13.1.3": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_1_3.json"
+      },
+      "13.1.4": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_1_4.json"
+      },
+      "13.1.5": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_1_5.json"
+      },
+      "13.1.6": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_1_6.json"
+      },
+      "13.1.7": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_1_7.json"
+      },
+      "13.1.8": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_1_8.json"
+      },
+      "13.1.9": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_1_9.json"
+      },
+      "13.2.1": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_2_1.json"
+      },
+      "13.2.10": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_2_10.json"
+      },
+      "13.2.11": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_2_11.json"
+      },
+      "13.2.12": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_2_12.json"
+      },
+      "13.2.13": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_2_13.json"
+      },
+      "13.2.14": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_2_14.json"
+      },
+      "13.2.15": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_2_15.json"
+      },
+      "13.2.16": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_2_16.json"
+      },
+      "13.2.17": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_2_17.json"
+      },
+      "13.2.18": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_2_18.json"
+      },
+      "13.2.2": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_2_2.json"
+      },
+      "13.2.3": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_2_3.json"
+      },
+      "13.2.4": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_2_4.json"
+      },
+      "13.2.5": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_2_5.json"
+      },
+      "13.2.6": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_2_6.json"
+      },
+      "13.2.7": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_2_7.json"
+      },
+      "13.2.8": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_2_8.json"
+      },
+      "13.2.9": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_2_9.json"
+      },
+      "13.3.1": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_3_1.json"
+      },
+      "13.3.10": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_3_10.json"
+      },
+      "13.3.11": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_3_11.json"
+      },
+      "13.3.12": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_3_12.json"
+      },
+      "13.3.13": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_3_13.json"
+      },
+      "13.3.14": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_3_14.json"
+      },
+      "13.3.15": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_3_15.json"
+      },
+      "13.3.16": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_3_16.json"
+      },
+      "13.3.17": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_3_17.json"
+      },
+      "13.3.18": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_3_18.json"
+      },
+      "13.3.2": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_3_2.json"
+      },
+      "13.3.3": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_3_3.json"
+      },
+      "13.3.4": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_3_4.json"
+      },
+      "13.3.5": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_3_5.json"
+      },
+      "13.3.6": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_3_6.json"
+      },
+      "13.3.7": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_3_7.json"
+      },
+      "13.3.8": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_3_8.json"
+      },
+      "13.3.9": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_3_9.json"
+      },
+      "13.4.1": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_4_1.json"
+      },
+      "13.4.10": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_4_10.json"
+      },
+      "13.4.11": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_4_11.json"
+      },
+      "13.4.12": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_4_12.json"
+      },
+      "13.4.13": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_4_13.json"
+      },
+      "13.4.14": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_4_14.json"
+      },
+      "13.4.15": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_4_15.json"
+      },
+      "13.4.16": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_4_16.json"
+      },
+      "13.4.17": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_4_17.json"
+      },
+      "13.4.18": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_4_18.json"
+      },
+      "13.4.2": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_4_2.json"
+      },
+      "13.4.3": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_4_3.json"
+      },
+      "13.4.4": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_4_4.json"
+      },
+      "13.4.5": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_4_5.json"
+      },
+      "13.4.6": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_4_6.json"
+      },
+      "13.4.7": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_4_7.json"
+      },
+      "13.4.8": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_4_8.json"
+      },
+      "13.4.9": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_4_9.json"
+      },
+      "13.5.1": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_5_1.json"
+      },
+      "13.5.10": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_5_10.json"
+      },
+      "13.5.11": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_5_11.json"
+      },
+      "13.5.12": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_5_12.json"
+      },
+      "13.5.13": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_5_13.json"
+      },
+      "13.5.14": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_5_14.json"
+      },
+      "13.5.15": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_5_15.json"
+      },
+      "13.5.16": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_5_16.json"
+      },
+      "13.5.17": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_5_17.json"
+      },
+      "13.5.18": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_5_18.json"
+      },
+      "13.5.2": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_5_2.json"
+      },
+      "13.5.3": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_5_3.json"
+      },
+      "13.5.4": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_5_4.json"
+      },
+      "13.5.5": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_5_5.json"
+      },
+      "13.5.6": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_5_6.json"
+      },
+      "13.5.7": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_5_7.json"
+      },
+      "13.5.8": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_5_8.json"
+      },
+      "13.5.9": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_5_9.json"
+      },
+      "13.6.1": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_6_1.json"
+      },
+      "13.6.10": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_6_10.json"
+      },
+      "13.6.11": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_6_11.json"
+      },
+      "13.6.12": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_6_12.json"
+      },
+      "13.6.13": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_6_13.json"
+      },
+      "13.6.14": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_6_14.json"
+      },
+      "13.6.15": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_6_15.json"
+      },
+      "13.6.16": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_6_16.json"
+      },
+      "13.6.17": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_6_17.json"
+      },
+      "13.6.18": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_6_18.json"
+      },
+      "13.6.2": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_6_2.json"
+      },
+      "13.6.3": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_6_3.json"
+      },
+      "13.6.4": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_6_4.json"
+      },
+      "13.6.5": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_6_5.json"
+      },
+      "13.6.6": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_6_6.json"
+      },
+      "13.6.7": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_6_7.json"
+      },
+      "13.6.8": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_6_8.json"
+      },
+      "13.6.9": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_6_9.json"
+      },
+      "13.7.1": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_7_1.json"
+      },
+      "13.7.10": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_7_10.json"
+      },
+      "13.7.11": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_7_11.json"
+      },
+      "13.7.12": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_7_12.json"
+      },
+      "13.7.13": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_7_13.json"
+      },
+      "13.7.14": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_7_14.json"
+      },
+      "13.7.15": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_7_15.json"
+      },
+      "13.7.16": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_7_16.json"
+      },
+      "13.7.17": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_7_17.json"
+      },
+      "13.7.18": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_7_18.json"
+      },
+      "13.7.2": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_7_2.json"
+      },
+      "13.7.3": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_7_3.json"
+      },
+      "13.7.4": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_7_4.json"
+      },
+      "13.7.5": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_7_5.json"
+      },
+      "13.7.6": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_7_6.json"
+      },
+      "13.7.7": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_7_7.json"
+      },
+      "13.7.8": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_7_8.json"
+      },
+      "13.7.9": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_7_9.json"
+      },
+      "2.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_2_1.json"
+      },
+      "2.10": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 50,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_2_10.json"
+      },
+      "2.11": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 70,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_2_11.json"
+      },
+      "2.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_2_2.json"
+      },
+      "2.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_2_3.json"
+      },
+      "2.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_2_4.json"
+      },
+      "2.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_2_5.json"
+      },
+      "2.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 64,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_2_6.json"
+      },
+      "2.7": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_2_7.json"
+      },
+      "2.8": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_2_8.json"
+      },
+      "2.9": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_2_9.json"
+      },
+      "3.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_3_1.json"
+      },
+      "3.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_3_2.json"
+      },
+      "3.3": {
+         "behavior": "NON-STRICT",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_3_3.json"
+      },
+      "3.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 7,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_3_4.json"
+      },
+      "3.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 3,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_3_5.json"
+      },
+      "3.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_3_6.json"
+      },
+      "3.7": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_3_7.json"
+      },
+      "4.1.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_4_1_1.json"
+      },
+      "4.1.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_4_1_2.json"
+      },
+      "4.1.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 3,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_4_1_3.json"
+      },
+      "4.1.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 3,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_4_1_4.json"
+      },
+      "4.1.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 8,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_4_1_5.json"
+      },
+      "4.2.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_4_2_1.json"
+      },
+      "4.2.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_4_2_2.json"
+      },
+      "4.2.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_4_2_3.json"
+      },
+      "4.2.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_4_2_4.json"
+      },
+      "4.2.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 3,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_4_2_5.json"
+      },
+      "5.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_1.json"
+      },
+      "5.10": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_10.json"
+      },
+      "5.11": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 5,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_11.json"
+      },
+      "5.12": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_12.json"
+      },
+      "5.13": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_13.json"
+      },
+      "5.14": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 5,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_14.json"
+      },
+      "5.15": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_15.json"
+      },
+      "5.16": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_16.json"
+      },
+      "5.17": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_17.json"
+      },
+      "5.18": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_18.json"
+      },
+      "5.19": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1004,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_19.json"
+      },
+      "5.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_2.json"
+      },
+      "5.20": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1043,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_20.json"
+      },
+      "5.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 42,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_3.json"
+      },
+      "5.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_4.json"
+      },
+      "5.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 48,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_5.json"
+      },
+      "5.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_6.json"
+      },
+      "5.7": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_7.json"
+      },
+      "5.8": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 51,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_8.json"
+      },
+      "5.9": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_9.json"
+      },
+      "6.1.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_1_1.json"
+      },
+      "6.1.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_1_2.json"
+      },
+      "6.1.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_1_3.json"
+      },
+      "6.10.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_10_1.json"
+      },
+      "6.10.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 3,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_10_2.json"
+      },
+      "6.10.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_10_3.json"
+      },
+      "6.11.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_11_1.json"
+      },
+      "6.11.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_11_2.json"
+      },
+      "6.11.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_11_3.json"
+      },
+      "6.11.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_11_4.json"
+      },
+      "6.11.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_11_5.json"
+      },
+      "6.12.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_12_1.json"
+      },
+      "6.12.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_12_2.json"
+      },
+      "6.12.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_12_3.json"
+      },
+      "6.12.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_12_4.json"
+      },
+      "6.12.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_12_5.json"
+      },
+      "6.12.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_12_6.json"
+      },
+      "6.12.7": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_12_7.json"
+      },
+      "6.12.8": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_12_8.json"
+      },
+      "6.13.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_13_1.json"
+      },
+      "6.13.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_13_2.json"
+      },
+      "6.13.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_13_3.json"
+      },
+      "6.13.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_13_4.json"
+      },
+      "6.13.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_13_5.json"
+      },
+      "6.14.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_14_1.json"
+      },
+      "6.14.10": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_14_10.json"
+      },
+      "6.14.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_14_2.json"
+      },
+      "6.14.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_14_3.json"
+      },
+      "6.14.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_14_4.json"
+      },
+      "6.14.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_14_5.json"
+      },
+      "6.14.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_14_6.json"
+      },
+      "6.14.7": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_14_7.json"
+      },
+      "6.14.8": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_14_8.json"
+      },
+      "6.14.9": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_14_9.json"
+      },
+      "6.15.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_15_1.json"
+      },
+      "6.16.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_16_1.json"
+      },
+      "6.16.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_16_2.json"
+      },
+      "6.16.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_16_3.json"
+      },
+      "6.17.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_17_1.json"
+      },
+      "6.17.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_17_2.json"
+      },
+      "6.17.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_17_3.json"
+      },
+      "6.17.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_17_4.json"
+      },
+      "6.17.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_17_5.json"
+      },
+      "6.18.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_18_1.json"
+      },
+      "6.18.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_18_2.json"
+      },
+      "6.18.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_18_3.json"
+      },
+      "6.18.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_18_4.json"
+      },
+      "6.18.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_18_5.json"
+      },
+      "6.19.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_19_1.json"
+      },
+      "6.19.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_19_2.json"
+      },
+      "6.19.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_19_3.json"
+      },
+      "6.19.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_19_4.json"
+      },
+      "6.19.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_19_5.json"
+      },
+      "6.2.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_2_1.json"
+      },
+      "6.2.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_2_2.json"
+      },
+      "6.2.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 48,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_2_3.json"
+      },
+      "6.2.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_2_4.json"
+      },
+      "6.20.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_20_1.json"
+      },
+      "6.20.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_20_2.json"
+      },
+      "6.20.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_20_3.json"
+      },
+      "6.20.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_20_4.json"
+      },
+      "6.20.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_20_5.json"
+      },
+      "6.20.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_20_6.json"
+      },
+      "6.20.7": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_20_7.json"
+      },
+      "6.21.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_21_1.json"
+      },
+      "6.21.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_21_2.json"
+      },
+      "6.21.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_21_3.json"
+      },
+      "6.21.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_21_4.json"
+      },
+      "6.21.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_21_5.json"
+      },
+      "6.21.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_21_6.json"
+      },
+      "6.21.7": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_21_7.json"
+      },
+      "6.21.8": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_21_8.json"
+      },
+      "6.22.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_1.json"
+      },
+      "6.22.10": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_10.json"
+      },
+      "6.22.11": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_11.json"
+      },
+      "6.22.12": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_12.json"
+      },
+      "6.22.13": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_13.json"
+      },
+      "6.22.14": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_14.json"
+      },
+      "6.22.15": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_15.json"
+      },
+      "6.22.16": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_16.json"
+      },
+      "6.22.17": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_17.json"
+      },
+      "6.22.18": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_18.json"
+      },
+      "6.22.19": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_19.json"
+      },
+      "6.22.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 46,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_2.json"
+      },
+      "6.22.20": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_20.json"
+      },
+      "6.22.21": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_21.json"
+      },
+      "6.22.22": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_22.json"
+      },
+      "6.22.23": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_23.json"
+      },
+      "6.22.24": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_24.json"
+      },
+      "6.22.25": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_25.json"
+      },
+      "6.22.26": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_26.json"
+      },
+      "6.22.27": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_27.json"
+      },
+      "6.22.28": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_28.json"
+      },
+      "6.22.29": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_29.json"
+      },
+      "6.22.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_3.json"
+      },
+      "6.22.30": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_30.json"
+      },
+      "6.22.31": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_31.json"
+      },
+      "6.22.32": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_32.json"
+      },
+      "6.22.33": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_33.json"
+      },
+      "6.22.34": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_34.json"
+      },
+      "6.22.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_4.json"
+      },
+      "6.22.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_5.json"
+      },
+      "6.22.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_6.json"
+      },
+      "6.22.7": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_7.json"
+      },
+      "6.22.8": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_8.json"
+      },
+      "6.22.9": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_9.json"
+      },
+      "6.23.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_23_1.json"
+      },
+      "6.23.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_23_2.json"
+      },
+      "6.23.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 48,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_23_3.json"
+      },
+      "6.23.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_23_4.json"
+      },
+      "6.23.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_23_5.json"
+      },
+      "6.23.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_23_6.json"
+      },
+      "6.23.7": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_23_7.json"
+      },
+      "6.3.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_3_1.json"
+      },
+      "6.3.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 3,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_3_2.json"
+      },
+      "6.4.1": {
+         "behavior": "NON-STRICT",
+         "behaviorClose": "OK",
+         "duration": 2002,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_4_1.json"
+      },
+      "6.4.2": {
+         "behavior": "NON-STRICT",
+         "behaviorClose": "OK",
+         "duration": 2002,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_4_2.json"
+      },
+      "6.4.3": {
+         "behavior": "NON-STRICT",
+         "behaviorClose": "OK",
+         "duration": 2003,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_4_3.json"
+      },
+      "6.4.4": {
+         "behavior": "NON-STRICT",
+         "behaviorClose": "OK",
+         "duration": 2002,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_4_4.json"
+      },
+      "6.5.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 46,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_5_1.json"
+      },
+      "6.5.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_5_2.json"
+      },
+      "6.5.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 47,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_5_3.json"
+      },
+      "6.5.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 46,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_5_4.json"
+      },
+      "6.5.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_5_5.json"
+      },
+      "6.6.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_6_1.json"
+      },
+      "6.6.10": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_6_10.json"
+      },
+      "6.6.11": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_6_11.json"
+      },
+      "6.6.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_6_2.json"
+      },
+      "6.6.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_6_3.json"
+      },
+      "6.6.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_6_4.json"
+      },
+      "6.6.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_6_5.json"
+      },
+      "6.6.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_6_6.json"
+      },
+      "6.6.7": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_6_7.json"
+      },
+      "6.6.8": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_6_8.json"
+      },
+      "6.6.9": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 48,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_6_9.json"
+      },
+      "6.7.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_7_1.json"
+      },
+      "6.7.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_7_2.json"
+      },
+      "6.7.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_7_3.json"
+      },
+      "6.7.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_7_4.json"
+      },
+      "6.8.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_8_1.json"
+      },
+      "6.8.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_8_2.json"
+      },
+      "6.9.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_9_1.json"
+      },
+      "6.9.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_9_2.json"
+      },
+      "6.9.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 46,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_9_3.json"
+      },
+      "6.9.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_9_4.json"
+      },
+      "7.1.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_1_1.json"
+      },
+      "7.1.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_1_2.json"
+      },
+      "7.1.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_1_3.json"
+      },
+      "7.1.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_1_4.json"
+      },
+      "7.1.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_1_5.json"
+      },
+      "7.1.6": {
+         "behavior": "INFORMATIONAL",
+         "behaviorClose": "INFORMATIONAL",
+         "duration": 177,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_1_6.json"
+      },
+      "7.13.1": {
+         "behavior": "INFORMATIONAL",
+         "behaviorClose": "INFORMATIONAL",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_13_1.json"
+      },
+      "7.13.2": {
+         "behavior": "INFORMATIONAL",
+         "behaviorClose": "INFORMATIONAL",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_13_2.json"
+      },
+      "7.3.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 3,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_3_1.json"
+      },
+      "7.3.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_3_2.json"
+      },
+      "7.3.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_3_3.json"
+      },
+      "7.3.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_3_4.json"
+      },
+      "7.3.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_3_5.json"
+      },
+      "7.3.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_3_6.json"
+      },
+      "7.5.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_5_1.json"
+      },
+      "7.7.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_7_1.json"
+      },
+      "7.7.10": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_7_10.json"
+      },
+      "7.7.11": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_7_11.json"
+      },
+      "7.7.12": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_7_12.json"
+      },
+      "7.7.13": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_7_13.json"
+      },
+      "7.7.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_7_2.json"
+      },
+      "7.7.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_7_3.json"
+      },
+      "7.7.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_7_4.json"
+      },
+      "7.7.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_7_5.json"
+      },
+      "7.7.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_7_6.json"
+      },
+      "7.7.7": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_7_7.json"
+      },
+      "7.7.8": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_7_8.json"
+      },
+      "7.7.9": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_7_9.json"
+      },
+      "7.9.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_9_1.json"
+      },
+      "7.9.10": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_9_10.json"
+      },
+      "7.9.11": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_9_11.json"
+      },
+      "7.9.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_9_2.json"
+      },
+      "7.9.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_9_3.json"
+      },
+      "7.9.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_9_4.json"
+      },
+      "7.9.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_9_5.json"
+      },
+      "7.9.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_9_6.json"
+      },
+      "7.9.7": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_9_7.json"
+      },
+      "7.9.8": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_9_8.json"
+      },
+      "7.9.9": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_9_9.json"
+      },
+      "9.1.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 35,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_1_1.json"
+      },
+      "9.1.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 134,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_1_2.json"
+      },
+      "9.1.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 537,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_1_3.json"
+      },
+      "9.1.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2173,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_1_4.json"
+      },
+      "9.1.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 4438,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_1_5.json"
+      },
+      "9.1.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 8696,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_1_6.json"
+      },
+      "9.2.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 35,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_2_1.json"
+      },
+      "9.2.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 141,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_2_2.json"
+      },
+      "9.2.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 534,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_2_3.json"
+      },
+      "9.2.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2146,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_2_4.json"
+      },
+      "9.2.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 4331,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_2_5.json"
+      },
+      "9.2.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 8602,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_2_6.json"
+      },
+      "9.3.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2889,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_3_1.json"
+      },
+      "9.3.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2390,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_3_2.json"
+      },
+      "9.3.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2205,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_3_3.json"
+      },
+      "9.3.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2181,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_3_4.json"
+      },
+      "9.3.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2156,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_3_5.json"
+      },
+      "9.3.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2157,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_3_6.json"
+      },
+      "9.3.7": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2172,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_3_7.json"
+      },
+      "9.3.8": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2130,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_3_8.json"
+      },
+      "9.3.9": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2173,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_3_9.json"
+      },
+      "9.4.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2969,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_4_1.json"
+      },
+      "9.4.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2360,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_4_2.json"
+      },
+      "9.4.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2224,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_4_3.json"
+      },
+      "9.4.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2099,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_4_4.json"
+      },
+      "9.4.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2115,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_4_5.json"
+      },
+      "9.4.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2102,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_4_6.json"
+      },
+      "9.4.7": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2099,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_4_7.json"
+      },
+      "9.4.8": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2130,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_4_8.json"
+      },
+      "9.4.9": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2092,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_4_9.json"
+      },
+      "9.5.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 949,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_5_1.json"
+      },
+      "9.5.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 557,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_5_2.json"
+      },
+      "9.5.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 545,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_5_3.json"
+      },
+      "9.5.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 542,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_5_4.json"
+      },
+      "9.5.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 536,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_5_5.json"
+      },
+      "9.5.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 533,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_5_6.json"
+      },
+      "9.6.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 955,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_6_1.json"
+      },
+      "9.6.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 559,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_6_2.json"
+      },
+      "9.6.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 550,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_6_3.json"
+      },
+      "9.6.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 545,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_6_4.json"
+      },
+      "9.6.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 555,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_6_5.json"
+      },
+      "9.6.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 549,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_6_6.json"
+      },
+      "9.7.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43354,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_7_1.json"
+      },
+      "9.7.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43371,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_7_2.json"
+      },
+      "9.7.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43405,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_7_3.json"
+      },
+      "9.7.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44212,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_7_4.json"
+      },
+      "9.7.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43745,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_7_5.json"
+      },
+      "9.7.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 49975,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_7_6.json"
+      },
+      "9.8.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43385,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_8_1.json"
+      },
+      "9.8.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43408,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_8_2.json"
+      },
+      "9.8.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43435,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_8_3.json"
+      },
+      "9.8.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43738,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_8_4.json"
+      },
+      "9.8.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43601,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_8_5.json"
+      },
+      "9.8.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 49795,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_8_6.json"
+      }
+   }
+}
\ No newline at end of file
diff --git a/autobahn/server-results.json b/autobahn/server-results.json
new file mode 100644
index 0000000000..2ec851ec70
--- /dev/null
+++ b/autobahn/server-results.json
@@ -0,0 +1,3637 @@
+{
+   "rust-websocket": {
+      "1.1.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_1_1_1.json"
+      },
+      "1.1.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_1_1_2.json"
+      },
+      "1.1.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_1_1_3.json"
+      },
+      "1.1.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_1_1_4.json"
+      },
+      "1.1.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_1_1_5.json"
+      },
+      "1.1.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 26,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_1_1_6.json"
+      },
+      "1.1.7": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 20,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_1_1_7.json"
+      },
+      "1.1.8": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 20,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_1_1_8.json"
+      },
+      "1.2.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_1_2_1.json"
+      },
+      "1.2.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 46,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_1_2_2.json"
+      },
+      "1.2.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 46,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_1_2_3.json"
+      },
+      "1.2.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_1_2_4.json"
+      },
+      "1.2.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_1_2_5.json"
+      },
+      "1.2.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 68,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_1_2_6.json"
+      },
+      "1.2.7": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 40,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_1_2_7.json"
+      },
+      "1.2.8": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 36,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_1_2_8.json"
+      },
+      "10.1.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 33,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_10_1_1.json"
+      },
+      "12.1.1": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_1_1.json"
+      },
+      "12.1.10": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_1_10.json"
+      },
+      "12.1.11": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_1_11.json"
+      },
+      "12.1.12": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_1_12.json"
+      },
+      "12.1.13": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_1_13.json"
+      },
+      "12.1.14": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_1_14.json"
+      },
+      "12.1.15": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_1_15.json"
+      },
+      "12.1.16": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_1_16.json"
+      },
+      "12.1.17": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_1_17.json"
+      },
+      "12.1.18": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_1_18.json"
+      },
+      "12.1.2": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_1_2.json"
+      },
+      "12.1.3": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_1_3.json"
+      },
+      "12.1.4": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_1_4.json"
+      },
+      "12.1.5": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_1_5.json"
+      },
+      "12.1.6": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_1_6.json"
+      },
+      "12.1.7": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_1_7.json"
+      },
+      "12.1.8": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_1_8.json"
+      },
+      "12.1.9": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_1_9.json"
+      },
+      "12.2.1": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_2_1.json"
+      },
+      "12.2.10": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_2_10.json"
+      },
+      "12.2.11": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_2_11.json"
+      },
+      "12.2.12": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_2_12.json"
+      },
+      "12.2.13": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_2_13.json"
+      },
+      "12.2.14": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_2_14.json"
+      },
+      "12.2.15": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_2_15.json"
+      },
+      "12.2.16": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_2_16.json"
+      },
+      "12.2.17": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_2_17.json"
+      },
+      "12.2.18": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_2_18.json"
+      },
+      "12.2.2": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_2_2.json"
+      },
+      "12.2.3": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_2_3.json"
+      },
+      "12.2.4": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_2_4.json"
+      },
+      "12.2.5": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_2_5.json"
+      },
+      "12.2.6": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_2_6.json"
+      },
+      "12.2.7": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_2_7.json"
+      },
+      "12.2.8": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_2_8.json"
+      },
+      "12.2.9": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_2_9.json"
+      },
+      "12.3.1": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_3_1.json"
+      },
+      "12.3.10": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_3_10.json"
+      },
+      "12.3.11": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_3_11.json"
+      },
+      "12.3.12": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_3_12.json"
+      },
+      "12.3.13": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_3_13.json"
+      },
+      "12.3.14": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_3_14.json"
+      },
+      "12.3.15": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_3_15.json"
+      },
+      "12.3.16": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_3_16.json"
+      },
+      "12.3.17": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_3_17.json"
+      },
+      "12.3.18": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_3_18.json"
+      },
+      "12.3.2": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_3_2.json"
+      },
+      "12.3.3": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_3_3.json"
+      },
+      "12.3.4": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_3_4.json"
+      },
+      "12.3.5": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_3_5.json"
+      },
+      "12.3.6": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_3_6.json"
+      },
+      "12.3.7": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_3_7.json"
+      },
+      "12.3.8": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_3_8.json"
+      },
+      "12.3.9": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_3_9.json"
+      },
+      "12.4.1": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_4_1.json"
+      },
+      "12.4.10": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_4_10.json"
+      },
+      "12.4.11": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_4_11.json"
+      },
+      "12.4.12": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_4_12.json"
+      },
+      "12.4.13": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_4_13.json"
+      },
+      "12.4.14": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_4_14.json"
+      },
+      "12.4.15": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_4_15.json"
+      },
+      "12.4.16": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_4_16.json"
+      },
+      "12.4.17": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_4_17.json"
+      },
+      "12.4.18": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_4_18.json"
+      },
+      "12.4.2": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_4_2.json"
+      },
+      "12.4.3": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_4_3.json"
+      },
+      "12.4.4": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_4_4.json"
+      },
+      "12.4.5": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_4_5.json"
+      },
+      "12.4.6": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_4_6.json"
+      },
+      "12.4.7": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_4_7.json"
+      },
+      "12.4.8": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_4_8.json"
+      },
+      "12.4.9": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_4_9.json"
+      },
+      "12.5.1": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_5_1.json"
+      },
+      "12.5.10": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_5_10.json"
+      },
+      "12.5.11": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_5_11.json"
+      },
+      "12.5.12": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_5_12.json"
+      },
+      "12.5.13": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_5_13.json"
+      },
+      "12.5.14": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_5_14.json"
+      },
+      "12.5.15": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_5_15.json"
+      },
+      "12.5.16": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_5_16.json"
+      },
+      "12.5.17": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_5_17.json"
+      },
+      "12.5.18": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_5_18.json"
+      },
+      "12.5.2": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_5_2.json"
+      },
+      "12.5.3": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_5_3.json"
+      },
+      "12.5.4": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_5_4.json"
+      },
+      "12.5.5": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_5_5.json"
+      },
+      "12.5.6": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_5_6.json"
+      },
+      "12.5.7": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_5_7.json"
+      },
+      "12.5.8": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_5_8.json"
+      },
+      "12.5.9": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_12_5_9.json"
+      },
+      "13.1.1": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_1_1.json"
+      },
+      "13.1.10": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_1_10.json"
+      },
+      "13.1.11": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_1_11.json"
+      },
+      "13.1.12": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_1_12.json"
+      },
+      "13.1.13": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_1_13.json"
+      },
+      "13.1.14": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_1_14.json"
+      },
+      "13.1.15": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_1_15.json"
+      },
+      "13.1.16": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_1_16.json"
+      },
+      "13.1.17": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_1_17.json"
+      },
+      "13.1.18": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_1_18.json"
+      },
+      "13.1.2": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_1_2.json"
+      },
+      "13.1.3": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_1_3.json"
+      },
+      "13.1.4": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_1_4.json"
+      },
+      "13.1.5": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_1_5.json"
+      },
+      "13.1.6": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_1_6.json"
+      },
+      "13.1.7": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_1_7.json"
+      },
+      "13.1.8": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_1_8.json"
+      },
+      "13.1.9": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_1_9.json"
+      },
+      "13.2.1": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_2_1.json"
+      },
+      "13.2.10": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_2_10.json"
+      },
+      "13.2.11": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_2_11.json"
+      },
+      "13.2.12": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_2_12.json"
+      },
+      "13.2.13": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_2_13.json"
+      },
+      "13.2.14": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_2_14.json"
+      },
+      "13.2.15": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_2_15.json"
+      },
+      "13.2.16": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_2_16.json"
+      },
+      "13.2.17": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_2_17.json"
+      },
+      "13.2.18": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_2_18.json"
+      },
+      "13.2.2": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_2_2.json"
+      },
+      "13.2.3": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_2_3.json"
+      },
+      "13.2.4": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_2_4.json"
+      },
+      "13.2.5": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_2_5.json"
+      },
+      "13.2.6": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_2_6.json"
+      },
+      "13.2.7": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_2_7.json"
+      },
+      "13.2.8": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_2_8.json"
+      },
+      "13.2.9": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_2_9.json"
+      },
+      "13.3.1": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_3_1.json"
+      },
+      "13.3.10": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_3_10.json"
+      },
+      "13.3.11": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_3_11.json"
+      },
+      "13.3.12": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_3_12.json"
+      },
+      "13.3.13": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_3_13.json"
+      },
+      "13.3.14": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_3_14.json"
+      },
+      "13.3.15": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_3_15.json"
+      },
+      "13.3.16": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_3_16.json"
+      },
+      "13.3.17": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_3_17.json"
+      },
+      "13.3.18": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_3_18.json"
+      },
+      "13.3.2": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_3_2.json"
+      },
+      "13.3.3": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_3_3.json"
+      },
+      "13.3.4": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_3_4.json"
+      },
+      "13.3.5": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_3_5.json"
+      },
+      "13.3.6": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_3_6.json"
+      },
+      "13.3.7": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_3_7.json"
+      },
+      "13.3.8": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_3_8.json"
+      },
+      "13.3.9": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_3_9.json"
+      },
+      "13.4.1": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_4_1.json"
+      },
+      "13.4.10": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_4_10.json"
+      },
+      "13.4.11": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_4_11.json"
+      },
+      "13.4.12": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_4_12.json"
+      },
+      "13.4.13": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_4_13.json"
+      },
+      "13.4.14": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_4_14.json"
+      },
+      "13.4.15": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_4_15.json"
+      },
+      "13.4.16": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_4_16.json"
+      },
+      "13.4.17": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_4_17.json"
+      },
+      "13.4.18": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_4_18.json"
+      },
+      "13.4.2": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_4_2.json"
+      },
+      "13.4.3": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_4_3.json"
+      },
+      "13.4.4": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_4_4.json"
+      },
+      "13.4.5": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_4_5.json"
+      },
+      "13.4.6": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_4_6.json"
+      },
+      "13.4.7": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_4_7.json"
+      },
+      "13.4.8": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_4_8.json"
+      },
+      "13.4.9": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_4_9.json"
+      },
+      "13.5.1": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_5_1.json"
+      },
+      "13.5.10": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_5_10.json"
+      },
+      "13.5.11": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_5_11.json"
+      },
+      "13.5.12": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_5_12.json"
+      },
+      "13.5.13": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_5_13.json"
+      },
+      "13.5.14": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_5_14.json"
+      },
+      "13.5.15": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_5_15.json"
+      },
+      "13.5.16": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_5_16.json"
+      },
+      "13.5.17": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_5_17.json"
+      },
+      "13.5.18": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_5_18.json"
+      },
+      "13.5.2": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_5_2.json"
+      },
+      "13.5.3": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_5_3.json"
+      },
+      "13.5.4": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_5_4.json"
+      },
+      "13.5.5": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_5_5.json"
+      },
+      "13.5.6": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_5_6.json"
+      },
+      "13.5.7": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_5_7.json"
+      },
+      "13.5.8": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_5_8.json"
+      },
+      "13.5.9": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_5_9.json"
+      },
+      "13.6.1": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_6_1.json"
+      },
+      "13.6.10": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_6_10.json"
+      },
+      "13.6.11": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_6_11.json"
+      },
+      "13.6.12": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_6_12.json"
+      },
+      "13.6.13": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_6_13.json"
+      },
+      "13.6.14": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_6_14.json"
+      },
+      "13.6.15": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_6_15.json"
+      },
+      "13.6.16": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_6_16.json"
+      },
+      "13.6.17": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_6_17.json"
+      },
+      "13.6.18": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_6_18.json"
+      },
+      "13.6.2": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_6_2.json"
+      },
+      "13.6.3": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_6_3.json"
+      },
+      "13.6.4": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_6_4.json"
+      },
+      "13.6.5": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_6_5.json"
+      },
+      "13.6.6": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_6_6.json"
+      },
+      "13.6.7": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_6_7.json"
+      },
+      "13.6.8": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_6_8.json"
+      },
+      "13.6.9": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_6_9.json"
+      },
+      "13.7.1": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_7_1.json"
+      },
+      "13.7.10": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_7_10.json"
+      },
+      "13.7.11": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_7_11.json"
+      },
+      "13.7.12": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_7_12.json"
+      },
+      "13.7.13": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_7_13.json"
+      },
+      "13.7.14": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_7_14.json"
+      },
+      "13.7.15": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_7_15.json"
+      },
+      "13.7.16": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_7_16.json"
+      },
+      "13.7.17": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_7_17.json"
+      },
+      "13.7.18": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_7_18.json"
+      },
+      "13.7.2": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_7_2.json"
+      },
+      "13.7.3": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_7_3.json"
+      },
+      "13.7.4": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_7_4.json"
+      },
+      "13.7.5": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_7_5.json"
+      },
+      "13.7.6": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_7_6.json"
+      },
+      "13.7.7": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_7_7.json"
+      },
+      "13.7.8": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_7_8.json"
+      },
+      "13.7.9": {
+         "behavior": "UNIMPLEMENTED",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_13_7_9.json"
+      },
+      "2.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_2_1.json"
+      },
+      "2.10": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 50,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_2_10.json"
+      },
+      "2.11": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 72,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_2_11.json"
+      },
+      "2.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_2_2.json"
+      },
+      "2.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_2_3.json"
+      },
+      "2.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_2_4.json"
+      },
+      "2.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_2_5.json"
+      },
+      "2.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 66,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_2_6.json"
+      },
+      "2.7": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_2_7.json"
+      },
+      "2.8": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_2_8.json"
+      },
+      "2.9": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 46,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_2_9.json"
+      },
+      "3.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_3_1.json"
+      },
+      "3.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_3_2.json"
+      },
+      "3.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_3_3.json"
+      },
+      "3.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 9,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_3_4.json"
+      },
+      "3.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_3_5.json"
+      },
+      "3.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_3_6.json"
+      },
+      "3.7": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_3_7.json"
+      },
+      "4.1.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_4_1_1.json"
+      },
+      "4.1.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_4_1_2.json"
+      },
+      "4.1.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_4_1_3.json"
+      },
+      "4.1.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_4_1_4.json"
+      },
+      "4.1.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 3,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_4_1_5.json"
+      },
+      "4.2.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_4_2_1.json"
+      },
+      "4.2.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_4_2_2.json"
+      },
+      "4.2.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_4_2_3.json"
+      },
+      "4.2.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_4_2_4.json"
+      },
+      "4.2.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_4_2_5.json"
+      },
+      "5.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_1.json"
+      },
+      "5.10": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_10.json"
+      },
+      "5.11": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 7,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_11.json"
+      },
+      "5.12": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_12.json"
+      },
+      "5.13": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_13.json"
+      },
+      "5.14": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 4,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_14.json"
+      },
+      "5.15": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_15.json"
+      },
+      "5.16": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_16.json"
+      },
+      "5.17": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_17.json"
+      },
+      "5.18": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_18.json"
+      },
+      "5.19": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1003,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_19.json"
+      },
+      "5.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_2.json"
+      },
+      "5.20": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1046,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_20.json"
+      },
+      "5.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_3.json"
+      },
+      "5.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_4.json"
+      },
+      "5.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 51,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_5.json"
+      },
+      "5.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_6.json"
+      },
+      "5.7": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_7.json"
+      },
+      "5.8": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 54,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_8.json"
+      },
+      "5.9": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_5_9.json"
+      },
+      "6.1.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_1_1.json"
+      },
+      "6.1.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 47,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_1_2.json"
+      },
+      "6.1.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 46,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_1_3.json"
+      },
+      "6.10.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_10_1.json"
+      },
+      "6.10.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_10_2.json"
+      },
+      "6.10.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_10_3.json"
+      },
+      "6.11.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_11_1.json"
+      },
+      "6.11.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_11_2.json"
+      },
+      "6.11.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_11_3.json"
+      },
+      "6.11.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_11_4.json"
+      },
+      "6.11.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_11_5.json"
+      },
+      "6.12.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_12_1.json"
+      },
+      "6.12.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_12_2.json"
+      },
+      "6.12.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_12_3.json"
+      },
+      "6.12.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_12_4.json"
+      },
+      "6.12.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_12_5.json"
+      },
+      "6.12.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_12_6.json"
+      },
+      "6.12.7": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_12_7.json"
+      },
+      "6.12.8": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_12_8.json"
+      },
+      "6.13.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_13_1.json"
+      },
+      "6.13.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_13_2.json"
+      },
+      "6.13.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_13_3.json"
+      },
+      "6.13.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_13_4.json"
+      },
+      "6.13.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_13_5.json"
+      },
+      "6.14.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_14_1.json"
+      },
+      "6.14.10": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_14_10.json"
+      },
+      "6.14.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_14_2.json"
+      },
+      "6.14.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_14_3.json"
+      },
+      "6.14.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_14_4.json"
+      },
+      "6.14.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_14_5.json"
+      },
+      "6.14.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_14_6.json"
+      },
+      "6.14.7": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_14_7.json"
+      },
+      "6.14.8": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_14_8.json"
+      },
+      "6.14.9": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_14_9.json"
+      },
+      "6.15.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_15_1.json"
+      },
+      "6.16.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_16_1.json"
+      },
+      "6.16.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_16_2.json"
+      },
+      "6.16.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_16_3.json"
+      },
+      "6.17.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_17_1.json"
+      },
+      "6.17.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_17_2.json"
+      },
+      "6.17.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_17_3.json"
+      },
+      "6.17.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_17_4.json"
+      },
+      "6.17.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_17_5.json"
+      },
+      "6.18.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_18_1.json"
+      },
+      "6.18.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_18_2.json"
+      },
+      "6.18.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_18_3.json"
+      },
+      "6.18.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_18_4.json"
+      },
+      "6.18.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_18_5.json"
+      },
+      "6.19.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_19_1.json"
+      },
+      "6.19.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_19_2.json"
+      },
+      "6.19.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_19_3.json"
+      },
+      "6.19.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_19_4.json"
+      },
+      "6.19.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_19_5.json"
+      },
+      "6.2.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_2_1.json"
+      },
+      "6.2.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_2_2.json"
+      },
+      "6.2.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 47,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_2_3.json"
+      },
+      "6.2.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 47,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_2_4.json"
+      },
+      "6.20.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_20_1.json"
+      },
+      "6.20.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_20_2.json"
+      },
+      "6.20.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_20_3.json"
+      },
+      "6.20.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_20_4.json"
+      },
+      "6.20.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_20_5.json"
+      },
+      "6.20.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_20_6.json"
+      },
+      "6.20.7": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_20_7.json"
+      },
+      "6.21.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_21_1.json"
+      },
+      "6.21.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_21_2.json"
+      },
+      "6.21.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_21_3.json"
+      },
+      "6.21.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_21_4.json"
+      },
+      "6.21.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_21_5.json"
+      },
+      "6.21.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_21_6.json"
+      },
+      "6.21.7": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_21_7.json"
+      },
+      "6.21.8": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_21_8.json"
+      },
+      "6.22.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_1.json"
+      },
+      "6.22.10": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_10.json"
+      },
+      "6.22.11": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_11.json"
+      },
+      "6.22.12": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_12.json"
+      },
+      "6.22.13": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_13.json"
+      },
+      "6.22.14": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_14.json"
+      },
+      "6.22.15": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_15.json"
+      },
+      "6.22.16": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_16.json"
+      },
+      "6.22.17": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_17.json"
+      },
+      "6.22.18": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_18.json"
+      },
+      "6.22.19": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_19.json"
+      },
+      "6.22.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_2.json"
+      },
+      "6.22.20": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_20.json"
+      },
+      "6.22.21": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_21.json"
+      },
+      "6.22.22": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_22.json"
+      },
+      "6.22.23": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_23.json"
+      },
+      "6.22.24": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_24.json"
+      },
+      "6.22.25": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_25.json"
+      },
+      "6.22.26": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_26.json"
+      },
+      "6.22.27": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_27.json"
+      },
+      "6.22.28": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_28.json"
+      },
+      "6.22.29": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_29.json"
+      },
+      "6.22.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_3.json"
+      },
+      "6.22.30": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_30.json"
+      },
+      "6.22.31": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_31.json"
+      },
+      "6.22.32": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_32.json"
+      },
+      "6.22.33": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_33.json"
+      },
+      "6.22.34": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_34.json"
+      },
+      "6.22.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_4.json"
+      },
+      "6.22.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_5.json"
+      },
+      "6.22.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_6.json"
+      },
+      "6.22.7": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_7.json"
+      },
+      "6.22.8": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_8.json"
+      },
+      "6.22.9": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_22_9.json"
+      },
+      "6.23.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_23_1.json"
+      },
+      "6.23.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_23_2.json"
+      },
+      "6.23.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_23_3.json"
+      },
+      "6.23.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_23_4.json"
+      },
+      "6.23.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_23_5.json"
+      },
+      "6.23.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_23_6.json"
+      },
+      "6.23.7": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_23_7.json"
+      },
+      "6.3.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_3_1.json"
+      },
+      "6.3.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 3,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_3_2.json"
+      },
+      "6.4.1": {
+         "behavior": "NON-STRICT",
+         "behaviorClose": "OK",
+         "duration": 2002,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_4_1.json"
+      },
+      "6.4.2": {
+         "behavior": "NON-STRICT",
+         "behaviorClose": "OK",
+         "duration": 2001,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_4_2.json"
+      },
+      "6.4.3": {
+         "behavior": "NON-STRICT",
+         "behaviorClose": "OK",
+         "duration": 2003,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_4_3.json"
+      },
+      "6.4.4": {
+         "behavior": "NON-STRICT",
+         "behaviorClose": "OK",
+         "duration": 2003,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_4_4.json"
+      },
+      "6.5.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 46,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_5_1.json"
+      },
+      "6.5.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_5_2.json"
+      },
+      "6.5.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_5_3.json"
+      },
+      "6.5.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_5_4.json"
+      },
+      "6.5.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 46,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_5_5.json"
+      },
+      "6.6.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_6_1.json"
+      },
+      "6.6.10": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_6_10.json"
+      },
+      "6.6.11": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_6_11.json"
+      },
+      "6.6.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_6_2.json"
+      },
+      "6.6.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_6_3.json"
+      },
+      "6.6.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_6_4.json"
+      },
+      "6.6.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_6_5.json"
+      },
+      "6.6.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_6_6.json"
+      },
+      "6.6.7": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_6_7.json"
+      },
+      "6.6.8": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_6_8.json"
+      },
+      "6.6.9": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_6_9.json"
+      },
+      "6.7.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_7_1.json"
+      },
+      "6.7.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_7_2.json"
+      },
+      "6.7.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_7_3.json"
+      },
+      "6.7.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 47,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_7_4.json"
+      },
+      "6.8.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 4,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_8_1.json"
+      },
+      "6.8.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_8_2.json"
+      },
+      "6.9.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 47,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_9_1.json"
+      },
+      "6.9.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 45,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_9_2.json"
+      },
+      "6.9.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_9_3.json"
+      },
+      "6.9.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_6_9_4.json"
+      },
+      "7.1.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_1_1.json"
+      },
+      "7.1.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_1_2.json"
+      },
+      "7.1.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_1_3.json"
+      },
+      "7.1.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_1_4.json"
+      },
+      "7.1.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_1_5.json"
+      },
+      "7.1.6": {
+         "behavior": "INFORMATIONAL",
+         "behaviorClose": "INFORMATIONAL",
+         "duration": 104,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_1_6.json"
+      },
+      "7.13.1": {
+         "behavior": "INFORMATIONAL",
+         "behaviorClose": "INFORMATIONAL",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_13_1.json"
+      },
+      "7.13.2": {
+         "behavior": "INFORMATIONAL",
+         "behaviorClose": "INFORMATIONAL",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_13_2.json"
+      },
+      "7.3.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_3_1.json"
+      },
+      "7.3.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_3_2.json"
+      },
+      "7.3.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_3_3.json"
+      },
+      "7.3.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_3_4.json"
+      },
+      "7.3.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_3_5.json"
+      },
+      "7.3.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_3_6.json"
+      },
+      "7.5.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_5_1.json"
+      },
+      "7.7.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_7_1.json"
+      },
+      "7.7.10": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_7_10.json"
+      },
+      "7.7.11": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_7_11.json"
+      },
+      "7.7.12": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_7_12.json"
+      },
+      "7.7.13": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_7_13.json"
+      },
+      "7.7.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_7_2.json"
+      },
+      "7.7.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_7_3.json"
+      },
+      "7.7.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_7_4.json"
+      },
+      "7.7.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_7_5.json"
+      },
+      "7.7.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_7_6.json"
+      },
+      "7.7.7": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_7_7.json"
+      },
+      "7.7.8": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_7_8.json"
+      },
+      "7.7.9": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_7_9.json"
+      },
+      "7.9.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_9_1.json"
+      },
+      "7.9.10": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_9_10.json"
+      },
+      "7.9.11": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_9_11.json"
+      },
+      "7.9.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_9_2.json"
+      },
+      "7.9.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_9_3.json"
+      },
+      "7.9.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_9_4.json"
+      },
+      "7.9.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_9_5.json"
+      },
+      "7.9.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_9_6.json"
+      },
+      "7.9.7": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_9_7.json"
+      },
+      "7.9.8": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_9_8.json"
+      },
+      "7.9.9": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 0,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_7_9_9.json"
+      },
+      "9.1.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 19,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_1_1.json"
+      },
+      "9.1.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 67,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_1_2.json"
+      },
+      "9.1.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 257,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_1_3.json"
+      },
+      "9.1.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1004,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_1_4.json"
+      },
+      "9.1.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1993,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_1_5.json"
+      },
+      "9.1.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 4003,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_1_6.json"
+      },
+      "9.2.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 19,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_2_1.json"
+      },
+      "9.2.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 66,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_2_2.json"
+      },
+      "9.2.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 255,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_2_3.json"
+      },
+      "9.2.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1006,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_2_4.json"
+      },
+      "9.2.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2003,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_2_5.json"
+      },
+      "9.2.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 4071,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_2_6.json"
+      },
+      "9.3.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2098,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_3_1.json"
+      },
+      "9.3.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1530,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_3_2.json"
+      },
+      "9.3.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1363,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_3_3.json"
+      },
+      "9.3.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1289,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_3_4.json"
+      },
+      "9.3.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1150,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_3_5.json"
+      },
+      "9.3.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1038,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_3_6.json"
+      },
+      "9.3.7": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1035,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_3_7.json"
+      },
+      "9.3.8": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 986,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_3_8.json"
+      },
+      "9.3.9": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 983,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_3_9.json"
+      },
+      "9.4.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 2076,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_4_1.json"
+      },
+      "9.4.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1500,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_4_2.json"
+      },
+      "9.4.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1350,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_4_3.json"
+      },
+      "9.4.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1293,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_4_4.json"
+      },
+      "9.4.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1115,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_4_5.json"
+      },
+      "9.4.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1021,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_4_6.json"
+      },
+      "9.4.7": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 976,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_4_7.json"
+      },
+      "9.4.8": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 968,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_4_8.json"
+      },
+      "9.4.9": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 963,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_4_9.json"
+      },
+      "9.5.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1012,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_5_1.json"
+      },
+      "9.5.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 616,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_5_2.json"
+      },
+      "9.5.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 418,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_5_3.json"
+      },
+      "9.5.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 318,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_5_4.json"
+      },
+      "9.5.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 269,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_5_5.json"
+      },
+      "9.5.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 256,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_5_6.json"
+      },
+      "9.6.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 1036,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_6_1.json"
+      },
+      "9.6.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 632,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_6_2.json"
+      },
+      "9.6.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 431,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_6_3.json"
+      },
+      "9.6.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 322,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_6_4.json"
+      },
+      "9.6.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 267,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_6_5.json"
+      },
+      "9.6.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 255,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_6_6.json"
+      },
+      "9.7.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43376,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_7_1.json"
+      },
+      "9.7.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43431,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_7_2.json"
+      },
+      "9.7.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43364,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_7_3.json"
+      },
+      "9.7.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43667,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_7_4.json"
+      },
+      "9.7.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43511,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_7_5.json"
+      },
+      "9.7.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 47030,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_7_6.json"
+      },
+      "9.8.1": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43414,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_8_1.json"
+      },
+      "9.8.2": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43357,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_8_2.json"
+      },
+      "9.8.3": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43340,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_8_3.json"
+      },
+      "9.8.4": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 44120,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_8_4.json"
+      },
+      "9.8.5": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 43581,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_8_5.json"
+      },
+      "9.8.6": {
+         "behavior": "OK",
+         "behaviorClose": "OK",
+         "duration": 46744,
+         "remoteCloseCode": null,
+         "reportfile": "rust_websocket_case_9_8_6.json"
+      }
+   }
+}
\ No newline at end of file
diff --git a/scripts/autobahn-client.sh b/scripts/autobahn-client.sh
new file mode 100755
index 0000000000..0c05ac9e08
--- /dev/null
+++ b/scripts/autobahn-client.sh
@@ -0,0 +1,32 @@
+#!/usr/bin/env bash
+# Author michael <themichaeleden@gmail.com>
+set -euo pipefail
+set -x
+SOURCE_DIR=$(readlink -f "${BASH_SOURCE[0]}")
+SOURCE_DIR=$(dirname "$SOURCE_DIR")
+cd "${SOURCE_DIR}/.."
+
+function cleanup() {
+    kill -9 ${FUZZINGSERVER_PID}
+}
+trap cleanup TERM EXIT
+
+wstest -m fuzzingserver -s 'autobahn/fuzzingserver.json' & \
+    FUZZINGSERVER_PID=$!
+sleep 10
+
+cargo build --example autobahn-client
+cargo run --example autobahn-client
+
+DIFF=$(diff \
+    <(jq -S 'del(."rust-websocket" | .. | .duration?)' 'autobahn/client-results.json') \
+    <(jq -S 'del(."rust-websocket" | .. | .duration?)' 'autobahn/client/index.json') )
+
+if [[ $DIFF ]]; then
+    echo Difference in results, either this is a regression or \
+         one should update autobahn/client-results.json with the new results. \
+         The results are:
+    echo $DIFF
+    exit 64
+fi
+
diff --git a/scripts/autobahn-server.sh b/scripts/autobahn-server.sh
new file mode 100755
index 0000000000..af05e8fbf7
--- /dev/null
+++ b/scripts/autobahn-server.sh
@@ -0,0 +1,34 @@
+#!/usr/bin/env bash
+# Author michael <themichaeleden@gmail.com>
+set -euo pipefail
+set -x
+SOURCE_DIR=$(readlink -f "${BASH_SOURCE[0]}")
+SOURCE_DIR=$(dirname "$SOURCE_DIR")
+cd "${SOURCE_DIR}/.."
+WSSERVER_PID=
+
+function cleanup() {
+    kill -9 ${WSSERVER_PID}
+}
+trap cleanup TERM EXIT
+
+cargo build --example autobahn-server
+./target/debug/examples/autobahn-server & \
+    WSSERVER_PID=$!
+echo "Server PID: ${WSSERVER_PID}"
+sleep 10
+
+wstest -m fuzzingclient -s 'autobahn/fuzzingclient.json'
+
+DIFF=$(diff \
+    <(jq -S 'del(."rust-websocket" | .. | .duration?)' 'autobahn/server-results.json') \
+    <(jq -S 'del(."rust-websocket" | .. | .duration?)' 'autobahn/server/index.json') )
+
+if [[ $DIFF ]]; then
+    echo Difference in results, either this is a regression or \
+         one should update autobahn/server-results.json with the new results. \
+         The results are:
+    echo $DIFF
+    exit 64
+fi
+
diff --git a/src/client/builder.rs b/src/client/builder.rs
index b16e41a36a..7c6146672b 100644
--- a/src/client/builder.rs
+++ b/src/client/builder.rs
@@ -545,7 +545,7 @@ impl<'u> ClientBuilder<'u> {
 			return Err(WebSocketError::ResponseError("Connection field must be 'Upgrade'"));
 		}
 
-		Ok(Client::unchecked(reader, response.headers))
+		Ok(Client::unchecked(reader, response.headers, true, false))
 	}
 }
 
diff --git a/src/client/mod.rs b/src/client/mod.rs
index 2e87651c11..01d83ca033 100644
--- a/src/client/mod.rs
+++ b/src/client/mod.rs
@@ -120,14 +120,19 @@ impl<S> Client<S>
 	/// a stream that has a websocket connection already set up.
 	/// If in doubt, don't use this!
 	#[doc(hidden)]
-	pub fn unchecked(stream: BufReader<S>, headers: Headers) -> Self {
+	pub fn unchecked(
+		stream: BufReader<S>,
+		headers: Headers,
+		out_mask: bool,
+		in_mask: bool,
+	) -> Self {
 		Client {
 			headers: headers,
 			stream: stream,
 			// NOTE: these are always true & false, see
 			// https://tools.ietf.org/html/rfc6455#section-5
-			sender: Sender::new(true),
-			receiver: Receiver::new(false),
+			sender: Sender::new(out_mask),
+			receiver: Receiver::new(in_mask),
 		}
 	}
 
diff --git a/src/server/upgrade/mod.rs b/src/server/upgrade/mod.rs
index 51617ae525..93fc4a52ed 100644
--- a/src/server/upgrade/mod.rs
+++ b/src/server/upgrade/mod.rs
@@ -128,7 +128,7 @@ impl<S> WsUpgrade<S>
 			None => BufReader::new(self.stream),
 		};
 
-		Ok(Client::unchecked(stream, self.headers))
+		Ok(Client::unchecked(stream, self.headers, false, true))
 	}
 
 	/// Reject the client's request to make a websocket connection.


Test patch: