1 2 3 4 5 6 7 8
// -*- rust -*- fn main() { let i32 x = -400_i32; x = 0_i32 - x; check(x == 400_i32); }