Bug in with-client-websocket: global vars inserted too soon
Bug in header length computation