#ifndef _WDT_H
extern void wdt_init(void);
extern void wdt_restart(void);

#endif