  return await terminal.prompt();
                    },
                    message: (text) => {
                        terminal.writeLine(`\r\n${text}\r\n`);
                    },
                };

                const programRunning = (isRunning) => {
                    if (isRunning) {
                        replButton.setAttribute("disabled", true);
                        runButton.setAttribute("disabled", true);
                        stopButton.removeAttribute("disabled");
                  