#include "uart.h"

int main() {
  while (1) {
    char c = uart_read();
    uart_write(c);
  }

  // never returns
}