WScript = {
    _jscGC: gc,
    _jscLoad: load,
    _jscPrint: print,
    _jscQuit: quit,
    _convertPathname : function(dosStylePath)
    {
        return dosStylePath.replace(/\\/g, "/");
    },
    Arguments : [ "summary" ],
    Echo : function()
    {
        WScript._jscPrint.apply(this, arguments);
    },
    LoadScriptFile : function(path)
    {
        WScript._jscLoad(WScript._convertPathname(path));
    },
    Quit : function()
    {
        WScript._jscQuit();
    },
};

function CollectGarbage()
{
    WScript._jscGC();
}

function $ERROR(e)
{
}