Function wrapping_shr Copy item path

pub open spec fn wrapping_shr(x: usize, shift: u32) -> usize

{ x >> (shift % usize::BITS) }