#pragma sfr

#include "incs_loader.h"

void WDT_Restart( void ){
  WDTE = 0xAC;                // restart watch dog timer
}