function include(url)

 {

     var element;

     switch(url.split(".").pop())

     {

     case "css":

 	element = document.createElement("link");

 	element.setAttribute("rel", "stylesheet");

 	element.setAttribute("type", "text/css");

 	element.setAttribute("href", url);

 	break;

     case "js":

 	element = document.createElement("script");

 	element.setAttribute("language", "javascript");

 	element.setAttribute("src", url);

 	break;

     }

     var head = document.querySelector("head");

     if (head.innerHTML.indexOf(element.outerHTML) != -1) 

 	window.console && window.console.warn("Skipping duplicate include.", url);

     else

 	head.appendChild(element);

 }

 include("scripts/glMatrix.js");

 include("scripts/webgl-utils.js");

 include("scripts/machine.js");

 function boot()

 {

     main();

 }