#define CONSOLE (*(volatile unsigned char *)0xc0000000)

void die(void)
{
    while (1)
	;
}

int main(void)
{
    static const char hello[] = "Hello, World!\r\n";
    const char *p;
    int x = 1;

    for (p = hello; *p; p++) {
	CONSOLE = *p;
	x *= *p;
    }

    die();
}