#define USE_MAIN
#include "uvm32_target.h"

void main(void) {
    println("Hello world");
}