XBT_PRIVATE void TRACE_smpi_recv(int src, int dst, int tag);
XBT_PRIVATE void TRACE_smpi_init(int rank);
XBT_PRIVATE void TRACE_smpi_finalize(int rank);
-XBT_PRIVATE char* smpi_container(int rank, char* container, int n);
+XBT_PRIVATE std::string smpi_container(int rank);
XBT_PRIVATE const char* encode_datatype(MPI_Datatype datatype, int* known);