int smpi_process_count(void);
int smpi_process_index(void);
xbt_os_timer_t smpi_process_timer(void);
+void smpi_process_simulated_start(void);
+double smpi_process_simulated_elapsed(void);
void print_request(const char* message, MPI_Request request);
void smpi_process_post_send(MPI_Comm comm, MPI_Request request);
void smpi_process_post_recv(MPI_Request request);
int smpi_coll_basic_alltoallv(void* sendbuf, int* sendcounts, int* senddisps, MPI_Datatype sendtype, void* recvbuf, int *recvcounts, int* recvdisps, MPI_Datatype recvtype, MPI_Comm comm);
// utilities
+void smpi_bench_destroy(void);
void smpi_bench_begin(int rank, const char* mpi_call);
void smpi_bench_end(int rank, const char* mpi_call);