module EventCounter {
    var temp : int;
    var count : int;
    input threshold : int;

    init {
        temp = 0;
        count = 0;
    }

    next {
        if (temp > threshold) {
            count' = count + 1;
        } else {
            count' = count;
        }
    }
}
