void TRACE_surf_routing_full_parse_end (char *link_name, int src, int dst);
void TRACE_surf_missing_link (void);
void TRACE_surf_define_host_id (const char *name, int host_id);
void TRACE_surf_routing_full_parse_end (char *link_name, int src, int dst);
void TRACE_surf_missing_link (void);
void TRACE_surf_define_host_id (const char *name, int host_id);