// -*- rust -*-
fn main() { let x: i32 = -400_i32; x = 0_i32 - x; assert (x == 400_i32); }