Constant TMT_RESERVEDHIGH 

pub const TMT_RESERVEDHIGH: THEME_PROPERTY_SYMBOL_ID;