#pragma once

#include <stdint.h>

void initUART();
void UART_transmit(uint8_t data);
void UART_println(const char* format, ...);