+int smpi_mpi_wait(smpi_mpi_request_t request, smpi_mpi_status_t * status);
+int smpi_mpi_waitall(int count, smpi_mpi_request_t requests[],
+ smpi_mpi_status_t status[]);
+int smpi_mpi_waitany(int count, smpi_mpi_request_t requests[], int *index,
+ smpi_mpi_status_t status[]);
+
+void smpi_execute(double duration);
+void smpi_start_timer(void);
+double smpi_stop_timer(void);