Constant XTENSA_SWVERSION_7_1_2 

pub const XTENSA_SWVERSION_7_1_2: u32 = 701002;