declare const port: "$PORT";
declare const socket: WebSocket;