//cout << result_string.length() << endl;
//cout << result_char << endl;
+
+ // 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;
+
return result_char;
}