ompi_info_deprecated_value   54 ompi/tools/ompi_info/param.c const char *ompi_info_deprecated_value = "deprecated-ompi-info-value";
ompi_info_deprecated_value  350 ompi/tools/ompi_info/param.c                   ompi_info_deprecated_value);