#define TRACE (*(unsigned char *)0x40000000)



void main(void) {
  char msg[] = "Hello world\n";
  int i;

  for (i=0; msg[i] != '\0'; i++) {
    TRACE = msg[i];
  }
}