#include <stdint.h>
#include <stdbool.h>
#include <ti/devices/msp432p4xx/driverlib/sysctl_a.h>
#include <ti/devices/msp432p4xx/driverlib/debug.h>
