/********** Tracing **********/
-/* from smpi_instr.c */
+/* from instr_smpi.c */
XBT_PRIVATE void TRACE_internal_smpi_set_category (const char *category);
XBT_PRIVATE const char *TRACE_internal_smpi_get_category (void);
XBT_PRIVATE void TRACE_smpi_collective_in(int rank, int root, const char *operation, instr_extra_data extra);