#![allow(dead_code, deprecated, unused_variables, unused_mut)]
fn main() {
    assert_eq!(100i8.saturating_sub(127), - 27);
    assert_eq!(i8::MIN.saturating_sub(100), i8::MIN);
    assert_eq!(i8::MAX.saturating_sub(- 1), i8::MAX);
}