void TRACE_surf_missing_link (void);
void TRACE_surf_define_host_id (const char *name, int host_id);
void TRACE_msg_clean (void);
+void TRACE_surf_vivaldi_parse_host (char *host, double x, double y, double h);
//for tracing gtnets
void TRACE_surf_gtnets_communicate (void *action, int src, int dst);