XBT_PRIVATE void TRACE_smpi_recv(int rank, int src, int dst);
XBT_PRIVATE void TRACE_smpi_init(int rank);
XBT_PRIVATE void TRACE_smpi_finalize(int rank);
XBT_PRIVATE void TRACE_smpi_recv(int rank, int src, int dst);
XBT_PRIVATE void TRACE_smpi_init(int rank);
XBT_PRIVATE void TRACE_smpi_finalize(int rank);