#![allow(dead_code, deprecated, unused_variables, unused_mut)]
fn main() {
    assert_eq!(100u8.saturating_sub(27), 73);
    assert_eq!(13u8.saturating_sub(127), 0);
}