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;
    }
}
