int MPI_Info_free( MPI_Info *info){ return PMPI_Info_free( info); }
int MPI_Info_free(MPI_Info *info) { _MPI_COVERAGE(); return PMPI_Info_free (info); }