#include // The correct header file will be chosen automatically based on project settings /** * main.c */ int main(void) { WDTCTL = WDTPW | WDTHOLD; // stop watchdog timer return 0; }