!7

html {
  if (eq(uri, "/worker.js"))
    ret "while (true) {}";
    
  ret hjavascript([[
    if (typeof(Worker) === "undefined") {
      alert("No web worker support!");
      return;
    }
    alert("Making web worker.");
    var worker = new Worker($LINK);
    worker.postMessage();
    window.alert("Worker starting - watch your CPU");
  ]]).replace("$LINK", jsQuote(relativeRawBotLink(programID(), "worker.js"));
}