#include "tb_cxxrtl_io.h"

int main() {
	tb_puts("Hello world from Hazard3 + CXXRTL!\n");
	return 0;
}