XBT_PUBLIC(void) TRACE_user_link_variable(double time, const char *resource,
const char *variable,
double value, const char *what);
XBT_PUBLIC(void) TRACE_user_link_variable(double time, const char *resource,
const char *variable,
double value, const char *what);