#include <stddef.h>
#include <stdint.h>

static volatile uint16_t *crt_buf = (volatile uint16_t *)0xb8000;

static void putchar(int c)
{
	static int pos;

	crt_buf[pos] = c | 0x0700;
	++pos;
}

static void puts(const char *s)
{
	for (; *s; ++s)
		putchar(*s);
}

void main(void)
{
	size_t i;

	for (i = 0; i < 25 * 80; ++i)
		crt_buf[i] = 0;
	puts("hello");
}