void _putchar(char character) {
  char* uart_thr = (char*)0x10000000;
  *uart_thr = character;
}