Constant THERM_INT_HIGH_ENABLE

pub const THERM_INT_HIGH_ENABLE: c_uint = 0x00000001;