// -*- rust -*-
fn main() {
    let word: u32 = 200000u32;
    word = word - 1u32;
    assert (word == 199999u32);
}