void main() {
	volatile char *video = (volatile char*)0xB8000; // small welcome message
	char* welcome = "Hello VGA, World!";

    while (*welcome != 0) {
        *video++ = *welcome++;
        *video++ = 15;
    }
}