module TemperatureEventCounter {
  var threshold: bv32;
  var temp: bv32;

  output count: integer;

  init {
    temp = 0bv32;
    count = 0;

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

  }
}
