// -*- rust -*-

fn main() {
    let u32 word = (200000u32);
    word = word - (1u32);
    check(word == (199999u32));
}