#include <stdio.h>
#include <vx_print.h>

int main()
{
	vx_printf("Hello World!\n");

	return 0;
}