       // Main
            run.addEventListener("click", make_run_click_callback(state));
            del.addEventListener("click", make_del_click_callback(state));
            run.dispatchEvent(new Event("click"));

            const stats_table = await client.table(
                {
                    heap_size: "float",
                    used_size: "float",
                    cpu_time: "integer",
                    cpu_time_epoch: "integer",
                    version: "integer",
                 