#include <uprintf.h>

void main(void) {
  uprintf("Hello from tb!\n");
}