#include "stm32f4xx.h"
#include "stm32f4xx_rcc.h"
#include "stm32f4xx_gpio.h"
#include "stm32f4xx_usart.h"
#include "misc.h"
#include <stdio.h>
#include <ctype.h> // included to use tolower() to force letters to lowercase

#define RedLED 0x1000
#define GreenLED 0x2000
#define BlueLED 0x4000