Constant XTENSA_HWVERSION_RE_2013_3 

pub const XTENSA_HWVERSION_RE_2013_3: u32 = 250003;