-/** Try to demangle a C++ name
- *
- * Return the origin string if this fails.
- */
-XBT_PUBLIC std::unique_ptr<char, void (*)(void*)> demangle(const char* name);
-
-/** @brief Captures a backtrace for further use */
-XBT_PUBLIC Backtrace backtrace();
-
-/* Translate the backtrace in a human friendly form
- *
- * Try resolve symbols and source code location.
- */
-XBT_PUBLIC std::vector<std::string> resolve_backtrace(const Backtrace& bt);