#include "print.h"


void putchar(char c){
  char *video=(char *)0xB8000;
  video[0]=c;
}