#![allow(dead_code, deprecated, unused_variables, unused_mut)]
fn main() {
    assert_eq!(3u8.strict_sub_signed(2), 1);
}