#ifndef INT_WDT_H
#define INT_WDT_H

void int_wdt_init();

#endif