ompi_mpiext_fini   11 ompi/mpiext/mpiext.h OMPI_DECLSPEC int ompi_mpiext_fini(void);
ompi_mpiext_fini  140 ompi/runtime/ompi_mpi_finalize.c     ompi_mpiext_fini();