int printf(const char* fmt, ...)  __attribute__ ((format (printf, 1, 2)));;
int puts(const char*);
int putchar(int);

/* sets the I/O functions, allows easy switching between text mode and VBE */
void set_putchar(void (*func)(int));
void set_puts(void (*func)(const char*));
