#include "uvm32_target.h"

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