Symbol: for_each_thermal_trip