Counter

/\* Set "my-counter" to 0 \*/
counter-set: my-counter;

/\* Increment "my-counter" by 1 \*/
counter-increment: my-counter;

/\* Decrement "my-counter" by 1 \*/
counter-increment: my-counter -1;

/\* Reset "my-counter" to 0 \*/
counter-reset: my-counter;