c
module main {
  var x : int;

  process Inc {
    while true {
      if x < 200 {
        x := x + 1;
      }
    }
  }

  process Dec {
    while true {
      if x > 0 {
        x := x - 1;
      }
    }
  }

  process Reset {
    while true {
      if x == 200 {
        x := 0;
      }
    }
  }

  invariant x_between_0_and_200 {
    x >= 0 && x <= 200;
  }

  init {
    x := 100; // Initial value of x can be arbitrary
  }

  control {
    unroll(10);
    check;
    print_results;
  }
}
