Constant XTENSA_HWVERSION_RE_2013_2 

pub const XTENSA_HWVERSION_RE_2013_2: u32 = 250002;