DOKK / manpages / debian 10 / openmpi-doc / shmem_double_get.openmpi.3.en
() ()