t");
          input_box.addEventListener("input", (evt) => {
            const input = evt.target.value;
            const out_node = document.createElement("code");
            const out_width = 60;
            const max_len = 5000;
            rcl_evaluate_json(input_box.textContent, out_node, out_width, max_len);
            output_box.replaceChild(out_node, output_box.firstChild);
          });
        }
        run();
      }
    </script>
    <style>
      body {
        padding: 2em;
      }
      p