void hvcConsoleIO(int length, const char *s);

void main()
{
	hvcConsoleIO(14, "hello world\r\n");
	while (1);
}