scheduler myCounter{
/*
Define some new counters
*/

declare Counter counter1 ("myCounter");
declare Counter counter2 ("myAdditional");



/*
When the counter reaches 5 reset it to 0;
*/
when(counter2> 5 ){
counter2.reset();
}

/*
If counter1 is less then 3 then increment the value
*/
when(counter1 <3){
counter1.inc();
counter2.dec();
}

/*
if Counter2 equals 0 then set counter1 to 5
*/
when(counter2 == 0 ){
counter1.set(5);
}


}