- * Return the origin string if this fails.
- */
-XBT_PUBLIC() std::unique_ptr<char, void(*)(void*)> demangle(const char* name);
-
-/** Get the current backtrace */
-XBT_PUBLIC(std::vector<xbt_backtrace_location_t>) backtrace();
-
-/* Translate the backtrace in a human friendly form