I am trying to simplify an embedded WebSocket implementation. Specifically, the requirement to buffer both the current message and some random interjected Ping seems quite usele
