int reduce_scatter_double(void *sendbuf, void *recvbuf, int *recvcnts,
			  MPI_Op op, MPI_Comm comm) ;