XBT_PUBLIC bool TRACE_smpi_view_internals();
XBT_PRIVATE void TRACE_surf_resource_set_utilization(const char* type, const char* name, const char* resource,
XBT_PUBLIC bool TRACE_smpi_view_internals();
XBT_PRIVATE void TRACE_surf_resource_set_utilization(const char* type, const char* name, const char* resource,