Constant XTHAL_RELEASE_MAJOR 

pub const XTHAL_RELEASE_MAJOR: u32 = 12000;