MPI_Info_get_valuelen.openmpi(3) on Linux

The text 13f130dea053, as Debian 11 (Bullseye) shipped it.

Retrieves the length of the key value associated with an info object.