{"strong": ["_openmp_mutex >=5.1"]}