Symbol: topology_max_smt_threads