Constant TMT_FIRSTINT 

pub const TMT_FIRSTINT: THEME_PROPERTY_SYMBOL_ID = 1301u32;