   = "<div class=\"led-red\"></div>";
            var htmlYellowLED = "<div class=\"led-yellow\"></div>";

            function checkStatus() {
                var hasDeviceOutput = Module._hasDeviceOutput();
                {
                    var el = document.getElementById('has-device-output');
                    if (hasDeviceOutput != 0 && isAudioContextUnlocked) {
                        if (el.innerHTML != htmlGreenLED) {
                            el.innerHTML = htmlGreenLED;
                   