module main {
    var temp : int; // temperature input
    var count : int; // event count

    init {
        temp = 0;
        count = 0;
    }

    transition {
        if (temp > threshold) {
            count := count + 1;
        }
    }
}
