// -*- rust -*-

fn main() {
  let u8 x = 12u8;
  let u8 y = 12u8;
  x = x + (1u8);
  x = x - (1u8);
  assert (x == y);
  // x = 14u8;
  // x = x + 1u8;
}