= document.getElementById("main-controls");
                //x.style.display = "block";
                x.hidden = false;
            }

            Module.setStatus('Initializing...');
            window.onerror = function(event) {
                Module.setStatus('Exception thrown: ' + JSON.stringify(event));
                spinnerElement.style.display = 'none';
                Module.setStatus = function(text) {
                    if (text) Module.printErr('[post-exception status] ' + text);
         