#![allow(dead_code, deprecated, unused_variables, unused_mut)]
fn main() {
    let mut x: u32 = 12;
    x -= 1;
    assert_eq!(x, 11);
}