shmem_finalize.openmpi(3) on Linux
The text 9b9ed71cb6d6, as Debian 9 (Stretch) 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.