Constant XTENSA_HWVERSION_RE_2013_4 

pub const XTENSA_HWVERSION_RE_2013_4: u32 = 250004;