#![allow(dead_code, deprecated, unused_variables, unused_mut)]
fn main() {
    assert_eq!(0x10u8.checked_shr(4), Some(0x1));
    assert_eq!(0x10u8.checked_shr(129), None);
}