circuitpython/ports/esp32/modules/websocket_helper.py