-void __TRACE_link_variable (double time, const char *src, const char *dst, const char *variable, double value, const char *what)
+void TRACE_user_link_variable (double time, const char *src, const char *dst, const char *variable, double value, const char *what)