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