shmem_global_exit.openmpi(3) on Linux

The text dd3953d8bbb0, as Debian 9 (Stretch) shipped it.

A routine that allows any PE to force termination of an entire program.