void main(void) {
    init_uart();
    printf("Hello world\ntest value is %04d\n", 23);
    while(1)
        continue;
}