PACKAGE_THERM_INT_HIGH_ENABLE
| PACKAGE_THERM_INT_HIGH_ENABLE))
| PACKAGE_THERM_INT_HIGH_ENABLE
| PACKAGE_THERM_INT_HIGH_ENABLE), h);