XBT_PUBLIC(void) __TRACE_link_variable (double time, const char *src, const char *dst, const char *variable, double value, const char *what);
XBT_PUBLIC(void) TRACE_declare_mark (const char *mark_type);
XBT_PUBLIC(void) TRACE_mark (const char *mark_type, const char *mark_value);
XBT_PUBLIC(void) __TRACE_link_variable (double time, const char *src, const char *dst, const char *variable, double value, const char *what);
XBT_PUBLIC(void) TRACE_declare_mark (const char *mark_type);
XBT_PUBLIC(void) TRACE_mark (const char *mark_type, const char *mark_value);