char message[]="Hello!";

int c_main(void) {

char *source = message;
char *destination = (char *)0xB8000;
while (*source) {
*destination++ = *source++;
*destination++ = 7; }
return 0;
}