int smpi_mpi_irecv(smpi_mpi_request_t request);
int smpi_mpi_wait(smpi_mpi_request_t request, smpi_mpi_status_t *status);
int smpi_mpi_irecv(smpi_mpi_request_t request);
int smpi_mpi_wait(smpi_mpi_request_t request, smpi_mpi_status_t *status);
void smpi_bench_begin(void);
double smpi_bench_end(void);
void smpi_bench_skip(void);
void smpi_bench_begin(void);
double smpi_bench_end(void);
void smpi_bench_skip(void);