shmem_finalize.openmpi(3) on Linux
The text d95ab26de9f7, as Debian 12 (Bookworm) shipped it.
A collective operation that releases resources used by the OpenSHMEM library. This only terminates the Open-SHMEM portion of a program, not the entire program.