Constant R13

Source
pub const R13: u32 = 0xffde; // 65_502u32