XBT_PUBLIC_DATA int xbt_log_no_loc; /* Do not show the backtrace on failed backtrace when doing our tests */
XBT_PUBLIC void xbt_backtrace_display_current();
XBT_PUBLIC_DATA int xbt_log_no_loc; /* Do not show the backtrace on failed backtrace when doing our tests */
XBT_PUBLIC void xbt_backtrace_display_current();