#include <stdint.h>

uint8_t uart_getc();
uint8_t uart_putc(unsigned char c);