#include "uvm32_target.h"

void main(void) {
    println("Hello world");
    print("Hello world");
    printdec(42);
    printhex(0xDEADBEEF);
    putc('G');
}