/* IRQ Handler when the watchdog times out. Any actions that you wish to take when a timeout occurs should be called from here.  */
void WDT_IRQHandler(void)
/* IRQ Handler when the watchdog times out. Any actions that you wish to take when a timeout occurs should be called from here.  */
void WDT_IRQHandler(void)
{
  WDT_WDMOD &= ~WDT_WDMOD_WDTOF;
  wdt_counter++;
}