1 2 3 4 5 6 7 8
// -*- rust -*- fn main() { let u32 word = u32(200000); word = word - u32(1); check(word == u32(199999)); }