void Initialize_UART(void);
void UART_send_char(char);
char UART_get_char();
void UART_send_string(char *);