void print(char* str)
{
  char* screen = (char*)0xb8000;
  while(*str != 0) {
    *screen = *str;
    screen++; str++;
    *screen = 0x41;
    screen++;
  }
}

int main(void)
{
	print("Hello, world!");
}