package Communication.FDDI.Integer;

module Timer(event ?reset, int c)
{
   loop{
      next(c) = 0;
      w1: pause;
      while(!reset) {
         next(c) = c+1;
         consume_time: pause;
      }
   }
}