!7

html {
  ret "JavaScript doing its magic..."
    + hjavascript([[
  var exampleSocket = new WebSocket("ws://localhost:8888/");
  exampleSocket.onopen = function(event) {
    exampleSocket.send("Here is an important message!");
    exampleSocket.close();
  };
  ]]);
}