#![allow(dead_code, deprecated, unused_variables, unused_mut)]
fn main() {
    assert_eq!(1u8.checked_sub(1), Some(0));
    assert_eq!(0u8.checked_sub(1), None);
}