private void AddLoadedFile(MutableString/*!*/ path) { lock (_loadedFiles) { _loadedFiles.Add(path); } }