MPI_Request_get_status.openmpi(3) on Linux

The text 1dd6ce0b3b40, as Debian 10 (Buster) shipped it.

Access information associated with a request without freeing the request.