+// Symbols manager\r
+extern char *DBGManager_GetSymbolNameFromAdr(size_t Adr);\r
+extern size_t DBGManager_GetAdrFromSymbolName(char *SymbolName);\r
+\r
+// Source text files manager\r
+extern char *DBGManager_GetFullSourceFilenameFromAdr(size_t Adr, bool *Error);\r
+extern size_t DBGManager_GetNbFullSourceFilename(void);\r
+extern char *DBGManager_GetNumFullSourceFilename(size_t Index);\r
+\r