void TRACE_smpi_end (void);
void TRACE_smpi_collective_in (int rank, int root, const char *operation);
void TRACE_smpi_collective_out (int rank, int root, const char *operation);
+void TRACE_smpi_ptp_in (int rank, int src, int dst, const char *operation);
+void TRACE_smpi_ptp_out (int rank, int src, int dst, const char *operation);
void TRACE_smpi_send (int rank, int src, int dst);
void TRACE_smpi_recv (int rank, int src, int dst);