docs: function(module) {
  		var name = module.$modname;
  		if (!this.$hasModule(name)) {
  			this._modules.push(module);
  			if (gui.Type.isFunction(module.oncontextinitialize)) {
  				module.oncontextinitialize(window);
  			}
  			if (gui.Type.isFunction(module.onrun)) {
  				module.onrun();
  			}
  		} else {
  			throw new Error(name + ' loaded twice?');
  		}
  		return module;
  	}