void smpi_mpi_finalize(void);
int smpi_mpi_comm_rank(smpi_mpi_communicator_t comm);
int smpi_mpi_barrier(smpi_mpi_communicator_t comm);
int smpi_mpi_isend(smpi_mpi_request_t request);
int smpi_mpi_irecv(smpi_mpi_request_t request);
void smpi_mpi_finalize(void);
int smpi_mpi_comm_rank(smpi_mpi_communicator_t comm);
int smpi_mpi_barrier(smpi_mpi_communicator_t comm);
int smpi_mpi_isend(smpi_mpi_request_t request);
int smpi_mpi_irecv(smpi_mpi_request_t request);