#include <stdint.h>\r
\r
/* Used to insert hardcoded breakpoint into user's code. */\r
-#define __debugbreak() { __asm volatile ("bkpt #0"); }\r
+#define __debugbreak() do { __asm volatile ("bkpt #0"); } while (0)\r
\r
/* Error strings that can be returned to GDB. */\r
#define MRI_ERROR_INVALID_ARGUMENT "E01" /* Encountered error when parsing command arguments. */\r