#![allow(dead_code, deprecated, unused_variables, unused_mut)]
fn main() {
    assert_eq!(5u8.overflowing_sub(2), (3, false));
    assert_eq!(0u8.overflowing_sub(1), (u8::MAX, true));
}