// Karim Barkati: printing globals value
        //list<string> faustGlobals = {
-       cout << "gFaustSuperSuperDirectory = " << gFaustSuperSuperDirectory << endl;
-       cout << "gFaustSuperDirectory = " << gFaustSuperDirectory << endl;
-       cout << "gFaustDirectory = " << gFaustDirectory << endl;
-       cout << "gMasterDocument = " << gMasterDocument << endl;
-       cout << "gMasterDirectory = " << gMasterDirectory << endl;
-       cout << "gMasterName = " << gMasterName << endl;
+       //cout << "gFaustSuperSuperDirectory = " << gFaustSuperSuperDirectory << endl;
+       //cout << "gFaustSuperDirectory = " << gFaustSuperDirectory << endl;
+       //cout << "gFaustDirectory = " << gFaustDirectory << endl;
+       //cout << "gMasterDocument = " << gMasterDocument << endl;
+       //cout << "gMasterDirectory = " << gMasterDirectory << endl;
+       //cout << "gMasterName = " << gMasterName << endl;
 
        return result_char;
 }