websocket declarations