sS js_evalOnWebSocketMessage() {
  ret [[
    function(event) {
      var data = JSON.parse(event.data);
      if (data.eval) {
        if (wsVerbose) console.log("Evaluating: " + data.eval);
        var geval = eval; // use global scope
        geval(data.eval);
        if (wsVerbose) console.log("Evaluated.");
      } else
        if (wsVerbose) console.log("WebSocket incoming: " + event.data);
    }
  ]];
}