module ConcurrentProcess {
  var x: integer;

  init {
    x = 0;

  }
  next {
    x' = (if (x < 200) then (x + 1) else (if (x >= 1) then (x - 1) else (if (x == 200) then 0 else x)));
    assert ((0 <= x) && (x <= 200));

  }
}
