c
module main {
    type state_t = enum { RED, GREEN };

    var state : state_t;

    init {
        state = RED;
    }

    next {
        if (state == RED) {
            state' = GREEN;
        } else {
            state' = RED;
        }
    }
}
