Write UCLID5 code to complete the following task.

> Model an event counter that is used in a weather station to count the number of times that a temperature rises above some threshold. Use the variable names temp and count.

Reply with your UCLID5 code inside one unique code block.

I can definitely do that! Here is the UCLID5 code:
```
