module EventCounter {
  var some_threshold: real;
  var temp: real;
  var count: integer;

  init {
    count = 0;

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

  }
}
