Symbol: THERM_INT_HIGH_ENABLE