#include "tb_cxxrtl_io.h"

void main() {
	tb_puts("Hello world from Hazard5 + CXXRTL!\n");
	tb_exit(123);
}