Constant DECR_WRAP 

pub const DECR_WRAP: u32 = 0x8508;