void mpi_send_init__(void *buf, int* count, int* datatype, int* dst, int* tag,
int* comm, int* request, int* ierr);
void mpi_isend__(void *buf, int* count, int* datatype, int* dst,
int* tag, int* comm, int* request, int* ierr);
void mpi_send_init__(void *buf, int* count, int* datatype, int* dst, int* tag,
int* comm, int* request, int* ierr);
void mpi_isend__(void *buf, int* count, int* datatype, int* dst,
int* tag, int* comm, int* request, int* ierr);