double MPI_Wtick(void) { _MPI_COVERAGE(); return PMPI_Wtick(); }
double MPI_Wtick(void) { return PMPI_Wtick(); }