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